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