for D being non empty set holds PP_and ((PP_BottomPred D),(PP_False D)) = PP_False D