an improved version of exercise 3.25

it do what you want,
(k1 k2) separate from (k1 k2 ...)