どういう状況でも成り立つから1+1=2なんだろ
逆に言えば2にならない状況が絶対にないことを証明すれば1+1=2の証明になる