初版をまず要約してみて
そもそもなんで証明できると思ったのか理解させて