P
Initializing...
A conjugation-stable rational line has a real or imaginary generator · Prove2Me