User blog comment:Vel!/1+w/@comment-5982810-20141011205302

The missing information is probably at minimum:

w^a + w^b = w^b : a<b.

To prove a<b, they must be written with descending exponents.

(1) Begin at the first term for each

(2) check the exponents of the associated terms. If the exponent for "a" is smaller a<b. If the exponent for "a" is larger a!<b. If they are equal, move to the next terms in each. If there are no more terms than a!<b. If "b" has run out of terms then a!<b. If "a" has run out of terms than a<b. If each as more terms then repeat step 2.