Spectral mapping theorem