[b]Euclid's Thirteenth Proposition in the Poincaré Disk[/b] - [url]http://aleph0.clarku.edu/~djoyce/java/elements/bookI/propI13.html[/url] [i]If a straight line stands on a straight line, then it makes either two right angles or angles whose sum equals two right angles.[/i] Let any straight line AB standing on the straight line CD make the angles CBA and ABD. I say that either the angles CBA and ABD are two right angles or their sum equals two right angles. Now, if the angle CBA equals the angle ABD, then they are two right angles. But, if not, draw BE from the point B at right angles to CD. Therefore the angles CBE and EBD are two right angles.
Since the angle CBE equals the sum of the two angles CBA and ABE, add the angle EBD to each, therefore the sum of the angles CBE and EBD equals the sum of the three angles CBA, ABE, and EBD. Again, since the angle DBA equals the sum of the two angles DBE and EBA, add the angle ABC to each, therefore the sum of the angles DBA and ABC equals the sum of the three angles DBE, EBA, and ABC. But the sum of the angles CBE and EBD was also proved equal to the sum of the same three angles, and things which equal the same thing also equal one another, therefore the sum of the angles CBE and EBD also equals the sum of the angles DBA and ABC. But the angles CBE and EBD are two right angles, therefore the sum of the angles DBA and ABC also equals two right angles. Therefore [i]if a straight line stands on a straight line, then it makes either two right angles or angles whose sum equals two right angles.[/i]