for K being finite strict Field
for SK1 being strict Subfield of K st card K = card SK1 holds
SK1 = K