(1) Para el formula_72-ésimo formula_73, formula_74 si y solo si formula_75,