for E being Field
for F being Subfield of E holds PrimeField F = PrimeField E