Теорема алгоритма