theorem Th226: :: MEMBER_1:226

for A being complex-membered set
for a, b being Complex st b in A holds
b / a in A /// a