theorem quah2: :: FIELD_7:9

for F being Field
for E being FieldExtension of F holds
( deg (E,F) = 1 iff {(1. E)} is Basis of (VecSp (E,F)) )