for I being non empty non degenerated multLoopStr_0
for u being Element of Q. I holds u `2 <> 0. I