篩法基本引理