theorem :: MEMBER_1:129

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