A rotation about the origin mapping the real locus into itself fixes the irreducible equation up to sign

Initializing...

A rotation about the origin mapping the real locus into itself fixes the irreducible equation up to sign · Prove2Me