Si el teorema no logra sostenerse, entonces dejat ser el número entero menos positivo para el cual hay enterosm yn conm+n=t, pero no existen enterosq yr conm=qn+r y\(0≤r<n\...Si el teorema no logra sostenerse, entonces dejat ser el número entero menos positivo para el cual hay enterosm yn conm+n=t, pero no existen enterosq yr conm=qn+r y0≤r<n. Recordemos que un enteron es un divisor de un enterom si hay un enteroq tal quem=qn. (Escribimosn|m y leemos “ndividem”.) Un enterod es un divisor común de enterosm yn sid es un divisor de ambosm yn.
