La prueba de que "P" ("n") es verdadera para todos los números naturales procede como sigue.