伟达定理的使用前提