Entonces, por inducción transfinita, P vale para todos los ordinales.