remove the explanation of subterm sharing
will be added to chapter 2