theorem :: PARTPR_1:44

for D being set holds PP_not (PP_True D) = PP_False D