Quantum Hopf rigidity in symmetric monoidal categories

We prove that a coaction of a Hopf algebra on another preserving the latter's associative-algebra structure and comultiplication automatically also preserves the counit, antipode, and tensor-interchange map and in fact factors through the coaction dual to an action of an affine group scheme by Hopf-