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