theorem Th14: :: CLOPBAN2:14

for X being ComplexNormSpace holds Ring_of_BoundedLinearOperators X is Ring