:: deftheorem defines normalized RATFUNC1:def 7 :
for L being non empty doubleLoopStr
for p being Polynomial of L holds
( p is normalized iff LC p = 1. L );