What does it mean to say that a field <I>E</I> is a finite extension of <i>F</i>?