P

Initializing...

The Cartesian substitution followed by complexification is the identity of $\mathbb C[X,Y]$ · Prove2Me