[67] How to prove