kosnita theorem