斯特沃特定理怎么证