Proof of lever rule