theorem :: MEMBER_1:76

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