Some sources say Takagi already proved principalization and some say that Artin and Furtwangler did. I'm going to try to find out.