Set Difference with Set Difference/Proof 2

Proof
From the, all sets are classes.

The result then follows from Class Difference with Class Difference.