A proof of Atiyah's conjecture on configurations of four points in Euclidean three-space. Eastwood, Michael; Norbury, Paul — 2001 Geometry & Topology