for L being non empty well-unital doubleLoopStr
for p being Polynomial of L st deg p is odd holds
even_part (Leading-Monomial p) = 0_. L