#lemma #proof step #logic step #auxiliary proposition #mathematical lemma #reasoning step