Por otro lado, supóngase que formula_32, entonces tenemos que formula_33, lo cual evidentemente es falso.