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

VII.16 Proposition VII.16

If two numbers by multiplying one another make certain numbers, the numbers so produced will be equal to one another.

Proof

a \cdot b

counts the units in a

b

-many sum of

a

's;

b \cdot a

counts the units in an

a

-many sum of

b

's. Both equal

ab

by VII.5 applied to the unit.

lines 74–74 in main.tex