theorem Th43: :: PARTPR_1:43

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