What does it mean to say that a field E has degree n over a field F? What is the notation for this?