satisface el predicado o lanza una excepción, si este no se satisface.