TeX source:
K=2