Bir matematik yarışmasına katılan yarışmacılardan bazıları arkadaştır. Arkadaşlık her zaman karşılıklıdır. Bir yarışmacı grubundaki her yarışmacı çifti arkadaşsa, bu gruba bir klik diyelim. (Özellikle, ikiden az yarışmacıdan oluşan her grup bir kliktir.) Bir kliğin eleman sayısına bu kliğin büyüklüğü diyelim.
Bu yarışmadaki kliklerin büyüklüklerinin aldığı en büyük değer bir çift sayı olsun. Tüm yarışmacıların, bir odadaki kliklerin büyüklüklerinin en büyük değeri, diğer odadaki kliklerin büyüklüklerinin en büyük değerine eşit olacak biçimde iki odaya yerleştirilebileceğini kanıtlayınız.