Gracias PabloN me sirvió pero el cuadradito sale blanco ¿se puede hacer algo para que salga negro?
Aprovechando el comando de Mario puedes incluir en el preámbulo \renewcommand{\qedsymbol}{$\blacksquare$}. De esa manera, cuando escribas \end{proof} aparecerá el cuadradito negro (en el mismo lugar donde antes salía el blanco) y evitarás algo más "desprolijo" como $\hfill\blacksquare$ (aparte el entorno
proof pone "
Demostración." automáticamente si tienes \usepackage[spanish]{babel}).
Saludos
