mathematical theorem vs lemma

professor of mathematics and the john j. curley '60 and ann conser curley '63 faculty chair in the liberal arts at dickinson college [icons made by freepik from www.flaticon.com.]