Let R>ϱ(a) be a real number. Let V be the closed disk with center 0 and radius R, so that Sp(a)⊂V˚. It is a piece of C whose boundary ∂V is the circle with center 0 and radius R. For z∈C−V˚, one has the formula (z−a)−1=z−1(1−z−1a)−1=∑j=1+∞z−jaj−1. The series converges uniformly for z∈∂V. Hence
Θa(1)=2iπ1j=1∑+∞aj−1∫∂Vz−jdz=1
since
∫∂Vzjdz=0
for every integer j=−1 and
∫∂Vz−1dz=2iπ
(VAR, R2, p. 44, 10.4.5, and p. 47, 11.2.1, example).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.