I understand this but I am not sure how to prove it. Is it as simple as just multiplying by x and y inverse?
and
????
Technically you're asked to prove that is an integral domain. You could just note that there exists a multipicative norm on which satisfies if and only if .