Archimedes' theorem on the area of a circle

GPTKB entity