伟达定理有什么用