Boris Vladimirovich Gnedenko (on his seventieth birthday)