strongly normal extension field