[math-fun] Galois theory before abstract algebra?