Theorem: p(4) - 5 = 0 (number of partitions of 4 equals 5)

Theorem (partition-of-4 canonical): the integer 4 has exactly 5 distinct partitions: {4}, {3,1}, {2,2}, {2,1,1}, {1,1,1,1}. Canonical sympy pin: residual = sp.simplify(sp.functions.combinatorial.numbers.partition(4) - 5) = '0' identically.…