theorem :: PROB_1:40

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