En consecuencia, P es válida también para todos los reales no estándares.