Factorial as Product of Three Factorials

Theorem
The only known factorial which is the product of three factorials is:
 * $10! = 7! \, 5! \, 3!$