P
Initializing...
In the coordinates $X=z$, $Y=\bar z$, the real locus of $X^4+Y^4-2$ is the curve $\operatorname{Re}(z^4)=1$ · Prove2Me