Non-abelian class field theory
 
x
OK