Ivory's lemma