y como el desarrollo es único podemos identificar unívocamente a formula_22 de la forma