Galois–Teichmüller theory