斯特沃特定理证明