Huhn's theorem