We know the following facts:

**(1)** For all $1\leq n\leq 2$ the equation $x_{1}^{n}+x_{2}^{n}=x_{3}^{n}$ has a solution in $\mathbb{N}$.

**(2)** For all $3\leq n$ the equation $x_{1}^{n}+x_{2}^{n}=x_{3}^{n}$ has no solution in $\mathbb{N}$.

**Question:** Is the following generalization true?

For all $2\leq m$ both of the following statements are true:

**(1)** For all $1\leq n\leq m$ the equation $x_{1}^{n}+...+x_{m}^{n}=x_{m+1}^{n}$ has a solution in $\mathbb{N}$.

**(2)** For all $m+1\leq n$ the equation $x_{1}^{n}+...+x_{m}^{n}=x_{m+1}^{n}$ has no solution in $\mathbb{N}$.