K. n : tsproposition