a_{1}^{k} + a_{2}^{k} + \cdots + a_{n}^{k} = b^{k}\quad \Rightarrow\quad n \geq k