4.3.3 Boyer-Moore定理证明方法