ある証明が正しいことの証明は、その証明が正しい（矛盾でない）ことを他人が確認できればよい。
正しい証明は正しく、間違った証明は間違っている。
証明で明らかになるのは命題の真偽であり、それは正しい証明によってのみ示される。

１はコドモみたいなシツモンをしないように。