谢泼德引理证明的四种方法