Foundations of Geometry Prop 1.20