Se tiene que todo número primo "p" divide, o bien a "m", o bien a "n", pero no a ambos, es decir, "m" y "n" son primos entre sí.