>>643
法則が先でもいいと思うよ
ある演算がそれを満たさないってだけ
後先気にしても仕方ない