Doug Chatham's answer is the best I received; see Theorem 23.7 of George E. Martin's "The Foundations of Geometry and the Non-Euclidean Plane".