Power of n equalling (n - 1)! + 1/Historical Note

Historical Note on Power of n equalling (n - 1)! + 1
The fact that $25 = 4! + 1$ is the only solution to $\left({n - 1}\right)! + 1 = n^k$ was apparently proved by, but this requires corroboration.