Artin's theorem