(define zero-poly? (lambda (poly) (and (zero? (degree poly)) (zero? (leading-coef poly)))))