분류:보조정리