Also known as Федор Лаврентьев, Фёдор Лаврентьев, Fedor Lavrentiev