for I being non empty non degenerated commutative multLoopStr_0
for u being Element of Q. I holds u in QClass. u