(A-B)U(B-C)U(C-A)U(ANBAC)=AUBU