P
Initializing...
A rational combination $au+b\bar u$ lies off both rational rays · Prove2Me