In 1954, Gerhart Lüders and Wolfgang Pauli derived more explicit proofs, so this theorem is sometimes known as the Lüders-Pauli theorem. | В 1954 г. Герхарт Людерс и Вольфганг Паули получили более строгое доказательство, поэтому иногда теорему называют теоремой Людерса-Паули. |
So Gerhart tried the next hundred numbers. | Поэтому Герхарт попробовал следующие сто. |
My name is Gerhart Falkstein. | Меня зовут Герхарт Фалкштейн. |