k\geq l \Rightarrow M_k\geq M_l