Zero power sums force a finite complex multiset to vanish (${\sum }_{j=1}^n{\lambda }_j^k=0(1\le k\le n)⟹{\lambda }_j=0$)

Collect the distinct nonzero values among the ${\lambda }_j$ as ${\mu }_1,\dots ,{\mu }_r$ with positive multiplicities $m_j$. The first $r$ power sums imply ${\sum }_j{m}_j{\mu }_j^k=0$ for $1\le k\le r$. The coefficient matrix is an invertible weighted Vandermonde matrix, so all $m_j$ vanish, a contradiction unless $r=0$. Its invertibility also follows because a polynomial ${\sum }_{k=1}^r{a}_k{z}^k$ vanishing at zero and all the ${\mu }_j$ has $r+1$ distinct roots and degree at most $r$.