P
Initializing...
The complexified equation of a real line has total degree one · Prove2Me