Tolong jelaskan mengenai Penamaan dari 1930 Lucifer

Dikutip dari buku Dictionary of Minor Planet Names oleh Lutz D. Schmadel, "Named for the proud, rebellious archangel, identified with Satan, who was expelled from heaven", yang mana mempunyai artian bahwa asteroid ini dinamai berdasarkan malaikat angkuh dan pemberontak yang diidentifikasikan dengan Satan dan telah dibuang dari surga. Penamaannya secara resmi dipublikasikan oleh Minor Planet Center (MPC) pada tanggal 1 Agustus 1978.