构股定理有几种证明方法?