Comments: 7 pages, 1 figure. An updated Mathematica program and five files containing evidence that the program works correctly are available as ancillary files associated with this article
Note:
Journal: J. Knot Theory Ramifications 23, 1420001 (2014)
We use the theory of oriented matroids to show that any linear embedding of $K_9$, the complete graph on nine vertices, contains a non-split link with three components.