Prove some facts about polynomial ordering.