theorem :: MEMBER_1:128

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