Suppose that E/F is a field extension.
Giả sử E/F là một mở rộng trường.