伟达定理的方程式有哪些