reserve n for Nat;

theorem
for R being unital non degenerated doubleLoopStr holds deg npoly(R,n) = n
by lem6;
