Used RSclass lemmas
Some more lemmas on Yams
dominate is transitive
part_sumn_rectangle
Added Erdos Szekeres theorem
Cleanup in multpoly
Removed unused imports