theorem Th7: :: CSSPACE:12

the_set_of_l2ComplexSequences is linearly-closed