for L being non empty left_unital doubleLoopStr
for n being non zero Nat
for i being Nat st i <> 0 & i <> n holds
(unital_poly (L,n)) . i = 0. L