>>917
>>911に従えば
負の数の乗法の定義は
反転という直感的理解を式にしていますで終わりじゃん