>>911

ま、そんなもんだ。

勉強が進展して行って、その定理を忘れた頃それを使う場面で、自力で構築しようとして
少し違う形で証明できたりすれば完了だ。

その内に、全然違う角度から理解できる様にもなる。