emil artin