Foundations of Geometry Prop 1.18