(qとnの間に全単射が存在する。