先ほどの定理によってこの "n" がwell definedであることが保証される。