theorem :: MEMBER_1:131

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