Доказательства в арифметике, использующие случайные числа Е.Я. Данцын — 1995 Zapiski naucnych seminarov POMI