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.