howtowriteproofsinmaths