Вероятностная проверка тождеств/Задачи/ex-summa-prob