Ramon, el geometra con su nieta, MINA DIOGENES