::The Catechism of the Catholic Church says: 
 : 
 ::Doesn't this show that, even after "the coinage of the word 'Lucifer'", there is no need to mention Lucifer in talking of the fall of the "fallen angel, called 'Satan' or the 'devil'", and that there are no grounds for claiming that the "Lucifer" article is the one into which one must put information such as the remark you want to insert or, for that matter, the statement in the CCC?  The argument, "These three authors before the coinage of the word 'Lucifer' have provided two versions about the reason for this fall", smells strongly of WP:SYNTH.