Datorklasē ir \(n\) (\(n \geq 3\)) datori, daži no tiem ir savienoti savā starpā. Ik pa brīdim kāds no datoriem, kurš pirms tam vēl neko nav sūtījis, nosūta ziņojumu visiem datoriem, ar ko tas ir savienots. Pierādīt, ka jebkurā laika brīdī var atrast divus datorus, kuri ir saņēmuši vienādu ziņojumu skaitu!
Pieņemsim pretējo, ka kādā brīdī katrs dators ir saņēmis dažādu ziņojumu skaitu. Tas nozīmē, ka datoru saņemto ziņojumu skaits ir \(0; 1; 2; \ldots ; n-1\) (kaut kādā secībā). Tālāk datorus attiecīgi apzīmējam ar \(D_0; D_1; \ldots; D_{n-1}\) atbilstoši saņemto ziņojumu skaitam, tas ir, dators \(D_i\) ir saņēmis tieši \(i\) ziņojumus. Tā kā \(D_{n-1}\) ir saņēmis \(n-1\) ziņojumu, tad tas ir savienots ar visiem pārējiem datoriem, turklāt visi pārējie datori ir nosūtījuši tam ziņas. Dators \(D_0\) ziņojumus nav saņēmis, tātad tā kā tas ir savienots ar \(D_{n-1}\), tad \(D_{n-1}\) ziņojumus vēl nav izsūtījis. Ne ar vienu citu datoru (izņemot \(D_{n-1}\)) dators \(D_0\) nav savienots (citādi tas būtu no tā saņēmis ziņojumu).
Visbeidzot aplūkojam datoru \(D_{n-2}\). Tā kā dators \(D_{n-1}\) ziņojumus vēl nav sūtījis, tad šis dators ir savienots ar visiem pārējiem \(n-2\) datoriem (un saņēmis no tiem ziņojumus). Tātad tas ir savienots arī ar datoru \(D_0\). Bet tā ir pretruna, jo \(D_0\) ir savienots tikai ar \(D_{n-1}\).