Probaremos esto para el caso de la relación formula_15.