[big_widen] unused and removed.
Finished proofs w.r.t coeffs. of the products of 2 multinomials.