既知の結果の拙い証明読ませるとか、赤ペン先生かな?
正直苦痛だから、新規部分だけ抜き出してくれ