だからよ 例えばこういうのとか
http://image.blog.livedoor.jp/thinkdeep/imgs/3/4/341da381.jpg
図形動かして証明するほうが早いんだよ

四色問題の証明もこの証明も
これと似たようなことしてるだけだろ

数理的な証明も不可能ではないけど
複雑な命題になるにつれて
そうした証明を読み解いて理解できるやつが少なくなる