拉脫維亞數學奧林匹克：公司雇員

在一個公司裡有1994個僱員，每個僱員認識1600個共他僱員。求證：一定能找到6個僱員，其中每個僱員都認識其他5個僱員。