a quantum system through Gleason's theorem, Hahn-Hellinger theorem and Wigner's theorem.