“…Then∆ ′ B/A (z) ∆ B/A (z) = tr(R(z, B) − R(z, A)), z ∈ ρ(A) ∩ ρ(B).Proof. Differentiating(24) we get for z ∈ ρ(A) ∩ ρ(B) in view of corollary 4∆ ′ B/A (z) ∆ B/A (z) = ξ A,B (t), d dz 1 t + z = − ξ ′ A,B (t), 1 t + z = − η A,B (t), 1 t + z = tr(R(z, B) − R(z, A)).Formula (20) implies that lim λ→+∞ ∆ B/A (λ) = 1. It follows also from the definition 6 and corollary 8 that ∆ B/A (z)∆ C/B (z) = ∆ C/A (z) for z ∈ C \ (−∞, 0], and operators A, B, C ∈ Gen(X) such that the pairs (A, B) and (B, C) satisfy all the conditions of corollary 6.…”