>>835
全ての要素が非負であるという公理を外せばいい
平行な二本の直線が交わらないという公理を外したように