Обосновать что в хоть какой компании из 5 человек двое имеют однообразное

Пусть в компании 5 человек. Тогда у каждого человека имеется от 0 до n 5 друзей. Таким образом, количество приятелей может принимать n разных значений: 0, 1, 2, ..., n 5. Поэтому если бы n человек имели различное число друзей, то в компании присутствовало бы по одному человеку, имеющему 0, 1, 2, ... , n 5 друзей. С другой стороны, если есть человек, имеющий n 5 друга, то он приятельствует со всеми, как следует, нет человека, который имеет 0 друзей.