Mas aun, vale que Cl_K=Gal(L/K).