Si u formula_4 v son propios.