Bài tập 2, § 16

Cho K là một trường có đặc số $p > 0$ và E là một mở rộng có bậc siêu việt hữu hạn trên K. Để E thừa nhận một cơ sở siêu việt tách được trên K thì điều kiện cần và đủ là E tách được trên K và bậc bất toàn của E trên K bằng với bậc siêu việt của nó trên K.