そもそも数学的証明じゃないだろ