Como z = z a × 10 n + z ′ {\displaystyle z=z_{a}\times 10^{n}+{z}'} y a la vegata o feito de que p sía divisor de 10n quiere decir que existe un numero natural c tal que 10 n p = c {\displaystyle {\frac {10^{n}}{p}}=c} por tanto z p = z a × 10 n p + z ′ p = z a × c + z ′ p {\displaystyle {\frac {z}{p}}=z_{a}\times {\frac {10^{n}}{p}}+{\frac {{z}'}{p}}=z_{a}\times c+{\frac {{z}'}{p}}} Lo que evidencia que bi'n ha prou con que z' sía divisible entre 'p' ta que z tamién lo sía.