At a generic point of the circle, no non-zero homogeneous polynomial over Q̄ vanishes at (u, ū, iπ)

Initializing...

At a generic point of the circle, no non-zero homogeneous polynomial over Q̄ vanishes at (u, ū, iπ) · Prove2Me