es un teorema (dos números naturales cualesquiera son o bien iguales o bien no iguales entre sí).