Es un teorema vinculado al sistema de los números naturales y sus ampliaciones aplicativas.