added a ipnb to show that projected div free functions are no more div free in the discrete sense