주 메뉴 열기

보조정리(補助定理, lemma 렘마[*])는 수학에서 이미 증명된 명제로서 그 자체가 중시되기보다 다른 더 중대한 결과를 증명하는 디딤돌로 사용되는 명제이다.