Ahora bien, por regla de transitividad, tenemos también formula_34, lo que nos lleva a una situación contradictoria.