Set Difference is Subset/Proof 2