Loading paper
Existence of a line without real points in quadric intersection | Tomesphere