IV.T210 — NFL-Boundary Theorem

NonDiss(Φ) ⟺ Φ ∈ Aut(H_∂). Non-dissipative iff automorphism. 3-step proof: CRT reduction, finite ring pigeonhole (injective⟺surjective), inverse-limit lift. Euler = all Aut, NS = some strict endo.