# Small inverse commutator and full normal sum

Original proof expression, diagram, generator and exact finite arithmetic are CC0 1.0, to the extent of rights held. Section11BK, SNC.1–10 and Exercises287–288 contain the infinite-domain proofs.

Run python draw_small_inverse_normal_sum.py --output-dir generated with Python and Pillow. Default resources are ../labelled-geometric-kernel. The PNG uses Python3.13.9 and Pillow12.2. The shared DejaVu font and embedded SVG font retain the complete font notice; shared Python and Pillow notices remain. The [CC0 dedication](../labelled-geometric-kernel/LICENSE-CC0.txt) covers original expression and does not replace technical terms.

Four rational strict bounds, twelve integer Fourier blocks and one nonzero rational mixed-form example illustrate the theorem. Finite samples do not establish a full domain, self-adjointness, original graph realization or Bott pairing. The complete proofs identify all hypotheses, both resolvent signs and the adjoint-domain passage. The normalized annihilated source summand remains. No externally authored mathematical expression or source PDF is incorporated.