corollary의 번역어 참인 명제statement를 정리theorem 이라고 하는데, 특정 정리를 증명하기 위해 선결적으로 필요한 정리를 보조정리lemma라고 하고, 특정 정리로부터 유도되는 정리를 따름정리corollary라고 한다
corollary의 번역어 참인 명제statement를 정리theorem 이라고 하는데, 특정 정리를 증명하기 위해 선결적으로 필요한 정리를 보조정리lemma라고 하고, 특정 정리로부터 유도되는 정리를 따름정리corollary라고 한다