많은 학생들이 정리(theorem), 보조정리(lemma), 따름정리(corollary)의 정확한 의미를 궁금해 하는 것 같아서 여기에 나의 개인적 의견을 적어본다.
먼저 proposition 이란 증명된 수학적 사실을 말한다. 정리, 보조정리, 따름정리는 모두 proposition으로서 다음과 같은 의미의 차이가 있다.