Reference request: number-theory-free proof that maximal stabilizer groups determine unique states
For the sake of completeness, I'll note that my version of the proof appears in


NdB. A linearized stabilizer formalism for systems of finite dimension. Quantum Information &amp; Computation 13 (pp.&nbsp;73&ndash;115), 2013. [arXiv:1102.3354v4]


appearing as Lemma&nbsp;B.3 (page 38) in the published version, and Lemma&nbsp;12 (page 23) in the arXiv preprint; in both cases occuring in Appendix B.

If anyone can point to an reference to a proof which is older than this question, I'll accept and reward the earliest such reference which is provided.