Unfriendly partition theorem for a finite graph
= Unfriendly partition theorem for a finite graph
Every finite graph has an unfriendly partition. In a maximum cut, moving any vertex to the other side cannot increase the number of crossing edges, which is exactly the required neighbour inequality.