My article not only doubts the long‑held belief (for over half a century) that no additional single‑valued invariant of motion exists for a “non‑classical” heavy top—it refutes that belief by explicitly presenting a single‑valued, albeit transcendental, invariant of motion for the Galois top. The Galois top unites and generalizes the Euler, Lagrange, and Hess tops. The invariant resides in a canonical (yet non‑classical) phase space whose existence was persistently overlooked after Poincaré.
Page 11 of my article provides a brief, yet complete and unrefutably rigorous proof of that invariance. It dismantles the allegation that my article has “no theorems.” Not only does it contain the statement of that theorem (which some prefer not to see) but it has its proof beyond any reasonable (or unreasonable) doubt.