Теорема компактности — разлика између измена