What does it mean to say that a field E is a infinite extension of F?