В социальной сети 2019 пользователей. Некоторые пользователи дружат с некоторыми другими, при этом отношение дружбы взаимно, то есть если пользователь дружит с пользователем , то также дружит с . Перестройки следующего типа производится последовательно, по одной перестройке за раз:
выбираются три пользователя и таких, что дружит и с и с , но и не дружат между собой; после чего и становятся друзьями, но теперь не дружит ни с ни с
Изначально 1010 пользователей имеют по 1009 друзей, а 1009 пользователей имеют по 1010 друзей. Докажите, что существует последовательность перестроек, после которой каждый пользователь будет иметь не более одного друга.