Pappus of Alexandria
The theorems are attributed to Pappus of Alexandria and Paul Guldin. The Pappus's statement of this theorem appears in the print for first time in 1659, but it was known before, by Kepler in 1615 and Guldin in 1640.