This is in regard to proving that the statements (a) and are coprime and (c) row of the multiplication table for includes all of

"this equation implies that and are coprime because any common factor of and must also be a factor of 1

I don't see why this is so.