KS theorem