n! == (n + 1)^k - 1