Let under +, so the elements are the equivalence classes . Write if .

Prove that if with , and , then has order b and

Proof so far.

So the operation here is addition, , so would that prove the order is b?

, which is the same as

Is this correct? Thanks.