Frucht's theorem states that every finite group is the automorphism group of a finite undirected graph. This was conjectured by König (1936) and proved by Frucht (1939). In fact, the stronger statement may be made that for any finite group, there exist infinitely many non-isomorphic simple connected graphs whose automorphism groups are isomorphic to the original graph.