AAHL 1.10.3 Algebra of factorials