В чемпионате по футболу участвуют 32 команды, разбитые на 8 групп по 4 команды. В каждой группе каждая команда играет с каждой из трёх остальных по одному разу. За выигрыш в матче даётся 3 очка, за поражение 0, за ничью 1 (то есть суммарно команда может заработать от 0 до 9 очков). Обязательно ли после окончания групповых игр найдутся 5 команд, у которых поровну очков?
