polyderiv (13) == 0
