>>14
制約式はhomogeneousであることの定義があるんだろう
知らんけど