theorem finun: :: FIELD_16:59

for F1, F2 being finite Field st order F1 = order F2 holds
F1,F2 are_isomorphic