Jensen and Toft attribute to Gert Sabidussi the observation that Gottschalk's proof is easier to generalize.
Jensen és Toft Gert Sabidussinak tulajdonítják az észrevételt, hogy Gottschalk bizonyítása könnyebben általánosítható.