Update hash-function_properties.tex