Theorem: sum_{n=0}^inf alpha^{2n}/n! exp(-alpha^2) - 1 = 0 (coherent-state Poisson normalisation)

Theorem (coherent-state-Poisson-normalisation canonical): sum_{n=0}^{infty} (|alpha|^{2n}/n!) exp(-|alpha|^2) = exp(-|alpha|^2) * exp(|alpha|^2) = 1 identically (Glauber 1963 Phys Rev 130, 2529). Canonical sympy pins: alpha =…