>>107, >>113
既存の定理を証明を理解しないで使うってことだと思うけど
実際に研究をしていると既存の定理がそのまま使えることは稀で
多くの場合はちょっとした変更が必要になる。
（「本質的に同じ証明で示せる」とかいうことになる。）
だから元の証明を知らないと話にならない。