theorem :: PROB_1:8

for X being set holds {{},X} is Field_Subset of X