Below are five statements labelled (A)–(E) that together establish that the sum of two odd integers is even. The steps are not in the correct logical order.
(i) Arrange the statements (A)–(E) in a logical sequence to form a valid proof.
(ii) Rewrite the complete proof in paragraph style, clearly marking the sections ‘Given’, ‘To Prove’, ‘Proof’, and ‘Conclusion’.
(iii) For each step in your ordered proof, name the algebraic property, definition, or prior fact that justifies the step.