I am currently working on a proof that requires this lemma to be proven true.
Suppose I have two distinct stable matchings P and Q for lets say n hospitals to n patie
