谢泼德引理怎么证明