for F being Field
for E1, E2 being FieldExtension of F st E1 == E2 holds
deg (E1,F) = deg (E2,F)