Since and from you can deduce so it is ok.

is simple, just use the definitions. For instance, means for all Then with

can be shown using (i): prove that

In principal ideals, every element is a product of the generator with something in the ring: belongs toiffthere is a such that