一些OI可能用到的数学定理（退役前长期更新）