Update lucifer.tex
Merge pull request #1791 from levdansky/patch-146

Update lucifer.tex