KLN theorem