Since Jehovah has named each of the stars, it is reasonable to assume that all of his angelic sons, including the one who became Satan, also have personal names.
הואיל ויהוה העניק שם לכל אחד מהכוכבים (‏ תהל ’ קמ ” ז: 4‏), הגיוני להניח שגם לכל אחד ממלאכיו, לרבות זה שהפך לשטן, יש שם פרטי .‏