Algebraically normal

  1. redirect Galois extension