for n being Nat
for R being non degenerated unital doubleLoopStr holds LC (npoly (R,n)) = 1. R