theorem Th6: :: QUOFIELD:6

for I being non empty non degenerated multLoopStr_0 holds not Quot. I is empty