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

VII.22 Definition VII.22

A perfect number is that which is equal to the sum of its own parts (its proper divisors).

lines 74–74 in main.tex