Esto implica una representación de formula_7 vía