Wilson's theorem
This means that if n is a prime number, the equation is correct. Also, if the equation is correct, then n is a prime number. The equation says that the factorial of (n - 1) is one less than a multiple of n.