Resultado de la búsqueda: eliminacion del bicondicional