Lema: Supongamos que tenemos tres alternativas, formula_101, entonces: