Factorial as Product of Two Factorials

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

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