The property for D is established similarly by constructing B in Ψ with real symbol such that D – B is a smoothing operator. Using the holomorphic functional calculus it can be checked that D – B is a smoothing operator.