A mathematical theorem and a clean paragraph of prose share the exact same virtue: neither allows a redundant symbol without diminishing the whole.