Foundations of Geometry Prop 1.19