Разбиение на модуль доказательств. Внедрение deep_search, breadth_search не протестировано.