Translation of "Bandwurmsatz" in English