Handle case K = 0