Use set identities (i.e., no membership tables or Venn diagrams) to demonstrate that

and

are equivalent expressions.

Lable each step with the set identity name

((AUC) (ANC) (An B)