Is this correct? Because using set subtraction, wouldnt that get you a finished proof of (A and B) - C? or would you need to distribute the A?

using set identity to prove A(BC)=(AB)(AC) You may aiso use set subtraction laws: AB=ABSOIVtion:LHS A(Bc) set subtraction law (AB)cC) Associative law law (AB)(AC)=(AB)(AC)