Sabemos que P (x) es siempre cierta en los reales usuales (para "y" basta con tomar x/2).