>>119
1+1=2を証明しようって時に2-1=1を自明とするのをおかしく感じないのかい?