 A non-constant polynomial "f" in formula_3 can be seen as a univariate polynomial in its greatest variable.The greatest variable in "f" is called its main variable, denoted by "mvar"(f).Let "u" be 
the main variable of "f" and write it as 
where "e" is the degree of "f" w.r.t.