Put a minimum vertex cut set in between the two blocks it will disconnect – call them S and T. Confirm that the size k of the cut set is reliably equal to the number of disjoint S, T paths. Then confirm that moving any vertex from it's own area into one of the other two, or outside them, can never alter the number of disjoint S,T paths, except where it reduces the size of S or T to less than k.