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