Aquí uno puede probar directamente que "P"("X") es irreducible y no separable.