斯特沃特定理推论