IV.T273 — Address-Obstruction Theorem (Formal Heisenberg)

For position operator X and momentum operator P satisfying [X, P] = i (Theorem thm:iv-canonical-commutation): equation