for L being domRing
for n being Element of NAT
for p being Polynomial of L st p <> 0_. L holds
p `^ n <> 0_. L