klarners theorem