Let \(a_1\le a_2\le \cdots \le a_k\) and \(b_1\le b_2\le \cdots \le b_l\) be sequences of positive integers at most M. Prove that if \[ \sum_{i=1}^{k} a_i^n = \sum_{j=1}^l b_j^n\] for all \(1\le n\le M\), then \(k=l\) and \(a_i=b_i\) for all \(1\le i\le k\).