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 to iff there is a such that