>>228
それは違うな
−(−1)=−1×−1というのは自明なのだよ
「自明じゃないと世界でただひとり主張する君が自明として使うこと」に問題があるのさ