luego si formula_100 entonces formula_101, y recíprocamente.