A Concise Proof of the Triangle Inequality for the Jaccard Distance. (20th October 2018)