TeX source:
1-k\neq 0