Добавено доказателство на критерия за пълнота на Пост.