theorem :: MEMBER_1:78

for a, b, s, t being Complex holds {a,b} -- {s,t} = {(a - s),(a - t),(b - s),(b - t)}