Se probará que la siguiente declaración "P" ("n"), que se supone válida para todos los números naturales "n".