Stacy lemma