伟达定理应用