Lever rule proof