Shafarevich–Weil theorem — mathematical theorem in Galois theory