Proposition I-17. In any triangle two angles taken together in any manner are less than two right angles.
Proof.
LoopStep ForwardStep BackwardStop Loop