Sea formula_35 decisivo para formula_36 o formula_37, y sea formula_54 cualquier otra alternativa, supongamos que formula_45 elige (formula_56),