10 Points in Dimension 4 not Projectively Equivalent to the Vertices of a Convex Polytope

Using oriented matroids, and with the help of a computer, we have found a set of 10 points inR4 not projectively equivalent to the vertices of a convex polytope. This result confirms a conjecture of Larman [6] in dimension 4.