搜尋lever rule proof

搜尋lever rule proof