for L being non empty non degenerated doubleLoopStr
for z being Element of L holds LC <%z,(1. L)%> = 1. L