P
Initializing...
Hurwitz integers are closed under conjugation · Prove2Me