theorem :: PROB_4:22

for Omega being non empty set
for Sigma being SigmaField of Omega
for P being Probability of Sigma holds
( P is complete iff P2M P is complete ) by MEASURE3:def 1;