How to Write a Direct Proof (Example with Integers: If a|b then a^2|b^2)