A De Morgan law for set difference · Proofwise