Let l and O be an F-definable line and an F-definable circle,
respectively. Suppose
that l ∩O /= ∅. Prove that l∩O ⊂(F(√a))2 for some
positive a ∈F

Q&A Education