TeX source:
P'(k)\neq 0