 For convergence of the integral, only continuity was used.For well-definedness, we only needed "f" to be holomorphic on an open set "U" containing the contours Γ ∪ Ω′ but not necessarily σ("T").The assumption will be applied in its entirety in showing the homomorphism property of the functional calculus.