突き詰めると Int の満たす性質みたいになっちゃって、数学的な議論が一段抽象化しちゃうことになりそう。