Entonces "P"(1) es verdadera.