Equivalence Classes Partition a Set Proof