una parte de la mina.