donde por definición ponemos formula_55.