Foundations of Geometry Prop 1.17