自然数のかけ算の可換性とか数学科でもほとんど証明しない。