-*-=-だと矛盾するから〜って証明してる人多いけど、
-*-=-,-*-=+どちらでもないって可能性は考慮しなくていいの？