Когда у автора вопроса завелся хорек, похожий на маленькую пушистую
подушку, он сразу же получил имя сообразно своему внешнему виду. Однако
когда хорек подрос и настало время выписывать ему паспорт, встал вопрос
о полном имени, которое и было образовано от первоначального
сокращенного. Так хорек стал тезкой великого русского математика.
Назовите полное имя хорька.