怎么证明分解后是 $w_1\ge w_2\ge \cdots \ge w_k$ 的？