Frucht's theorem