k  209-lem  k