1) , so .
Let . Suppose doesn't devide . Then where . We have . But this contradicts our assumption that (because ).
Can you use this to prove the assertion about isomorphism?
2) Let be generated by an element . Let's show that generates . So be . This means for some . Since generates , there is some integer that . We have . Since was arbitrary, generates .