Despejando, se tiene que formula_20.