Некоторые участники математической олимпиады между собой дружат (дружба считается взаимной: если является другом , то также друг ). Будем считать, что различные участники , где , образуют слабо-дружественный цикл, если не дружит с , для всех (здесь ), и не существует других недружащих пар цикла. При этом выполнены следующие свойства:
Для любого участника и любого слабо-дружественного цикла , не содержащего , множество участников из , которые не являются друзьями , состоит как максимум из одного элемента.
Докажите, что всех участников этой олимпиады можно рассадить по трём комнатам таким образом, чтобы любые два участника из одной и той же комнаты были друзьями.