Por la construcción de "V", los conjuntos "V" = "V" + "q", con "k" natural, son disjuntos dos a dos (de lo contrario habría dos números equivalentes en "V", contradiciendo su definición).