Spectral Theorem for Bounded Normal Operators