for L being domRing
for p being non-zero Polynomial of L holds card (Roots p) < len p