Translation of "Summensatz" in English