I assume you mean the prime subfield of , notice that by definition this is the intersection of all subfields of ie. . Since and it is a field, it contains a copy of . Now is the field of fractions of so is the smallest field containing , so and since ...