>>394
定理とは反証が無い証明された真なる命題
異論は無い

1+1は定理ではない