Se puede demostrar que las dos coronas formula_22 y formula_23 son equivalentes si --y solamente si-- formula_24.