搜尋lever rule推導

搜尋lever rule推導