theorem that, for a solid of revolution of a planar figure, the surface area equals the figure’s perimeter times the distance the perimeter’s centroid travels, and the volume equals the figure’s area times the distance the figure’s centroid travels
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).