1+1=2を証明する方法ってなかったけ?