k≦m≦lという条件が抜けているっぽいね