Теорема про довільну зупинку