deg (rpoly (k,z)) = k by HURWITZ:27;
then rpoly (k,z) <> 0_. L by HURWITZ:20;
hence not rpoly (k,z) is zero ; :: thesis: verum