Did Lev Schnirelmann and Dmitri Anosov have the same profession?