伟达定理的运用