1+1=2が当たり前になっているだけで
ほとんどは証明出来ないんだよねぇ