The spectral mapping theorem