I know this is kind of silly but on exams we have to label the steps when using mathematical induction. For the induction step it really helps me if I start with "prove { [statement goes here] } " I'm loosing marks because technically {} are for sets, so what can I use?