演算ってそもそも定理なの?
2×3=6って定理?定義?