Intersection with Subset is Subset/Proof 2