No black square at the end of proof

[Paul Smith]

Dear All,

Could someone please tell why the black square is not shown in the
pdflatex output of the attached document? (Please, have a look at the
preamble.)

Thanks in advance,

Paul

proof.lyx
Description: application/lyx