text1: According to Wilson's theorem, what factorial must be divisible by n if some integer n > 4 is to be considered composite?
text2: Moreover, an integer n > 4 is composite if and only if (n − 1)! is divisible by n.