prove that k$\_$n decomposes into n$/2$ paths and n$/2$ cycles when n is odd