Esta plantilla genera un entorno para demostración de teoremas, insertando un cuadradito negro al final ( ◼ {\displaystyle \blacksquare } ) equivalente a la abreviación QED.
