자기가 증명할 때는,
'이부분을 풀어야지. 근데 이부분 풀려면 이걸 보조정리로 나누어야겠다. 근데 또 여기서 이게 필요하네'
등등 뭘 할건지 명확히 알고있으니, 어떤 내용이든 흥미진진함.
근데 책 등이 수준이 올라가거나 하면, 정리중에 보조정리가 많은 것들이 가끔 튀어나옴.
결국 뭘 하고 싶은건지는 아니까,
처음엔 보조정리는 대충 보면서 파악한 뒤에 나중에 더 보거나,
보조정리도 결국 하나의 정리이니 묵묵히 보거나 둘중 하나인데,
어느것을 택하든 많은 인내를 요구하는듯. 특히 보조정리도 길면 ㅡㅡ;
시간은 처음 증명한 사람이 쓴 것보다는 덜 쓰겠지만,
때때로 흥미진진함이 없는 경우에는 더 힘든듯?
공감
ㄹㅇ
조교님 제성합니다