formula_638 y usando la restricción nos proporciona formula_1237.