Внимание, в вопросе есть замены.
Впервые прозвище "Грозный" было упомянуто в европейских хрониках лишь
спустя 32 года после смерти Ивана Васильевича. Грозным его прозвали
враги, а в родной стране его называли, в том числе и в официальных
документах, Иваном Васильевичем. Несмотря на это, многие уверены, что
Грозный - это фамилия Ивана Васильевича. В "Большой энциклопедии Кирилла
и Мефодия - 2001" статей "Иван" и "Васильевич" нет, а вот статья
"Грозный" - есть. Она находится сразу после статьи о сельхозорудии.
Каком?