Spectral Theorem For Unitary Maps