これは剰余類数え上げやtodd-coxeterアルゴリズムの根底にある。