PROOF
Recall that if X and ϒ are sets X− Y = X ∩ ϒc ( Difference Law )
[ A− B ] − C = [ A ∩ Bc ] ∩ Cc by Difference Law
= A ∩ [ Bc ∩ Cc ] By Associative Law
= A ∩ [ Cc ∩ Bc ] by Commutative Law
= [ A ∩ Cc ] ∩ Bc By Associative Law
= [ A− C ] − B by Difference Law