Goormaghtigh's theorem