Factorial as Product of Three Factorials

Theorem
This general pattern can be used to find a factorial which is the product of three factorials:
 * $\paren {\paren {n!}!}! = n! \paren {n! - 1}! \paren {\paren {n!}! - 1}!$

while there are instances of factorials which do not fit that pattern.