If E is a finite extension of F, what else can you say about E?