>>403
証明の記述に飛躍があるんだろ