Papel e lápis x Cabri-Géométre II: o caso do teorema de superficies lunares