theorem Th5: :: PROB_1:5

for X being set
for F being Field_Subset of X holds X in F