Creada funcion que comprueba y regresa true o false en caso de ser proved o counterexample