Area preservation under Steiner symmetrization (source code)

= Area preservation under Steiner symmetrization

Every perpendicular chord keeps its length under Steiner symmetrization, so Fubini's theorem preserves the total area.