Asumiendo que P no es la raíz