theorem GP: :: FIELD_16:67

for p being Prime
for F being GaloisField of p holds F == Z/ p