theorem :: PROB_1:22

for X being set
for Si being SigmaField of X holds {} is Event of Si by Th4;