theorem Th4: :: PROB_1:4

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