Gate 5: Hellinger implies information

The implication is a classical convexity statement, not an identification of the two functionals. We prove it in Section sec:implication, then apply it only to the finite certificate proved here. It neither makes 119-02 a premise of 119-01 nor transfers either assertion to quantum inputs.