斯台沃特定理证明