数论-质因子性质