Who was active in probability theory, Lev Schnirelmann or Yuri Linnik?