抽屉原理是数学哪个分支里的?具体点,高等代数里的哪个分支?