We give a direct non-abstract proof of the spectral mapping theorem for the Davies–Helffer–Sjöstrand functional calculus for linear operators on Banach spaces with real spectra and consequently give a new non-abstract ...