State/Canonical decompositions of factorials



=Proof=