威尔逊定理应用