Update hashing.tex