>>161
aが取り得る範囲を全て網羅していれば問題ない。