User blog comment:DrCeasium/HAN: better definitions/@comment-5150073-20140819183102

There also must be the rule n!0 = n!.