Power of n equalling (n - 1)! + 1

Theorem
There is exactly one solution to the equation:
 * $\left({n - 1}\right)! + 1 = n^k$

and that is:
 * $n = 5$
 * $k = 2$

Theorem
We have that: