Section 4.3 Rectangles
¶COMING SOON
(Argue that the existence of one rectangle imples both that all triangles have angle sum 180 and that the Euclidean postulate holds. Conclude that if the Euclidean parallel postulate does not hold, then the angle sum of every triangle must be less than 180, and there can not be any rectangles.)