En dicha verificación suponíamos como