-×-=+は定理なのだろうか定義なのだろうか