primera parte de los cambios en la demostracion de Sabidussi
segunda parte de los cambios en Sabidussi