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