拉脱维亚数学奥林匹克：公司雇员

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