Translation of "Verschiebungssatz" in English