for F being Field holds F is FieldExtension of F