theorem :: MEMBER_1:77

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