theorem :: MEMBER_1:130

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