Archimedes' theorem on the area of a triangle

GPTKB entity