theorem :: PROB_1:9

for X being set holds bool X is Field_Subset of X ;