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".
James Propp
- 19.7k
- 5
- 55
- 136