Every non-Euclidean oriented matroid admits a biquadratic final   polynomial
  Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case. 
Komei Fukuda, Sonoko Moriyama and Hiroki Nakayama