Translation of "Richtwinkelsatz" in English