TeX source:

K\neq 1