请问，第一类斯特林数转化上升幂和普通幂之间的公式

$x^{\overline n}=\sum_k \begin{bmatrix} n \\ k\end{bmatrix} x^k$

有非归纳的组合意义证明吗？