Knudsen's Generating Lemma
Closure under factorial
Jensen's Identity