Translation of "Triebradsatz" in English