Spectrum of a Unitary Operator Lies on the Unit Circle