Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras

The question of whether or not a Hopf algebra H is faithfully flat over a Hopf subalgebra A has received positive answers in several particular cases: when H (or more generally, just A) is commutative, cocommutative, or pointed, or when K contains the coradical of H. We prove the statement in the title, adding the class of cosemisimple Hopf algebras to those known to be faithfully flat over all Hopf subalgebras. We also show that the third term of the resulting “exact sequence” A →H → C is always a cosemisimple coalgebra, and that the expectation H → A is positive when H is a CQG algebra.