Eu utilizo a redefinição mais de uma vez?

Oi pessoal, em V = R2 ,(x1, y1) ⊕ (x2, y2) = (2x1 − 2y1, y1 − x1) e α (x, y) = (3αx, −αx), eu utilizo a redefinição todas as vezes em que a soma de dois vetores aparece na verificação dos axiomas?