
theorem
for R being unital non degenerated doubleLoopStr
for n being non trivial Nat holds LC X^(n,R) = 1.R by Lm13;
