Submit Spec API

//

··

rrxiv is an open protocol. Specification · API · Pulse · AboutMaintained by the rrxiv working group · Privacy-respecting analytics

Source — Euclid's Elements, encoded as an rrxiv paper — rrxiv

Browse/Euclid's Elements, encoded as an rrxiv paper/source

Source — Euclid's Elements, encoded as an rrxiv paper

··Download archive (.tar.gz)

Reader · live HTML Source files · loading…Rendered · PDF

58 files·489.1 KB·

· 58 files

← Claims Full view

I.30 Proposition I.30

Straight lines parallel to the same straight line are also parallel to one another.

Proof

Two applications of I.29 and Common Notion 1.

lines 74–74 in main.tex