Cyclic Spectral Theorem for Normal Operators