Prove list theorems