Отродясь ( традиционно) цари носили имя Василий. То Василий Иванович, то Иван Васильевич сменяли друг друга, но профессии своей не меняли.
https://ru.m.wikipedia.org/wiki/Василий « Васи́лий (др.-греч. Βασίλειος) - мужское русское личное имя греческого происхождения. Восходит к др.-греч. βασίλιος (басилиос); βασίλειος (басилейос) - «царский, царственный» - в древнегреческой мифологии эпитет Зевса и Посейдона; βασιλεύς (басилевс) - «царь, монарх, правитель»[1][3].
..
В старых святцах и календарях имя также встречается в формах Васи́лей, Васили́к. Современный православный месяцеслов содержит имя Васи́лько, являющееся формой имени Василий; помимо этого - имена Васо́й и Вассиа́н, являющиеся его производными. Также имеются близкородственные Васили́ск (от др.-греч. βασιλίσκος - «царёк») и Васили́д (от βασιλίδες - «царевич»)[3].«
Все ( и даже Зевс с Балилевсом ) обьясняется просто, если считать, что Василий это и есть Великий. Иначе какой же он царь.