Bəli, onun alqoritmləri dəlil edilə bilən həqiqət sınağından keçdi. –