Groenewold's theorem