Kādā valstī ir \(100\) pilsētas. No katras pilsētas iziet \(5\) ceļi. Katrs ceļš savieno divas pilsētas, neiegriežoties citās; starp katrām divām pilsētām ir ne vairāk par vienu ceļu; visu ceļu garumi ir dažādi. Visu ceļu kopgarums ir \(30000 ~\mathrm{km}\). Ja izvēlas katrai pilsētai visīsāko no tās izejošo ceļu un saskaita visu \(100\) izvēlēto ceļu garumus (varbūt dažu ceļu garumus ieskaita summā divreiz), iegūst \(10000 ~\mathrm{km}\). Pierādīt, ka šajā valstī ir tāds ceļš, kura garums nav mazāks par \(125 ~\mathrm{km}\).