Pela antissimetria temos uwed>=u=0, vwed>=v=0, wwed>=w=0. Além disso, vwed>=u=-,uwed>=v e wwed>=u=-,uwed>=w, wwed>=v=-,vwed>=w.
Logo só restam os termos mistos uwed>=v, uwed>=w e vwed>=w.
Passo 4
Coeficiente de uwed>=v:
alpha y;+;beta x,(-1) =alpha y-beta x =alpha & beta x & y
Passo 5
Coeficiente de uwed>=w:
alpha z;+;gamma x,(-1) =alpha z-gamma x =alpha & gamma x & z
Coeficiente de vwed>=w:
beta z;+;gamma y,(-1) =beta z-gamma y =beta & gamma y & z
Resposta
(alpha u+beta v+gamma w)wed>=(x u+y v+z w) =alpha & beta x & y(uwed>=v) +alpha & gamma x & z(uwed>=w) +beta & gamma y & z(vwed>=w)