If eachlies in a cyclotomic fieldthen so doesIndeed,whereTo prove the local Kronecker-Weber theorem it thus suffices to ...