added proof for Merge and Count in writeup.tex