Z = (z_i^{j-1}) とする。
w = (w_1, …, w_{m+1})^T とする。

Z*x = 0

の解は x = (0, …, 0)^T だけしかない。

よって、 x → Z*x は単射、したがって、全単射。

よって、

Z*x = w

は一意的な解を持つ。