add result on spectrum of deflated operators