theorem Th1: :: QUOFIELD:1

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