De la propia definición podemos concluir que formula_7 ya que: