How to prove it_ A well structured approach