>>768
同値でないと決定番号存在しないから
問題になってないけど?