I can prove Gerschgorin's circle Theorem:
If , then each eigenvalue of lies in the union of the disks
.
But I am having trouble proving that, if m disks form a connected domain that is disjoint from the other n-m disks, then there are precisely m eigenvalues of within this domain.