A New Proof of the Quantum Noiseless Coding Theorem | Synapse