In the first case those neighbours contain an independent t-set or an (s−1)-clique, which joins v to form an s-clique. In the second case the nonneighbours contain an s-clique or an independent (t−1)-set, which joins v to form an independent t-set. This proves