9.11.2. El paquete amsthm