29b2c728f6db22a351ed86e51dee326c14b1554af1ac2b2a0dce9e7af25a5b7029

정리 A를 증명하기위해
보조정리 a_1,a_2,..,a_n을 세운 다음에
이 보조정리들이 전부참일때 정리 A가 증명됨을
먼저 증명함.

근데 어떤 자연수 k가 존재해서
보조정리 a_k를 증명하는 중에
정리 A를 증명하는데에는 a_k만이 필요한데

a_k 자체의 증명이 아무리 해도 안되고, 오히려 a_k보다 더욱 일반적인 상황에대해 증명한 후
a_k를 따름정리의 결과처럼 취급해야하는 상황이 나오는거임.

이런 경우 종종 있는 편임?

- dc official App