>411
>どの教科書のどんな論理や定理を使ったのか、すべての行について説明できなければ、証明ではない。

なぜでしょうか?