Foundations of Geometry prop 1.21