Factorial as Product of Two Factorials

Theorem
Apart from the general pattern, following directly from the definition of the factorial:
 * $\paren {n!}! = n! \paren {n! - 1}!$

the only known factorial which is the product of two factorials is:
 * $10! = 6! \, 7!$