유클리드 원론 · 제1권 · 명제 13

증명하라.

한 직선이 다른 직선 위에 서서 각들을 만들면, 두 직각을 만들거나 합이 두 직각과 같은 두 각을 만든다.

주어진 것

직선 CD 와 그 위의 점 B. 직선 BA 가 B 에 서서 ∠CBA 와 ∠ABD 를 만든다.

보여야 할 것

∠CBA 와 ∠ABD 가 두 직각이거나, 그 합이 두 직각과 같음을 보이는 것.