 Analytica’s proof of this identity proceeds by simplifying both the left- and right-hand sides of the equality and showing that both sides reduce to the same expression, −Hn + HAr. The simplification uses the added summation identities mentioned before as well as some elementary properties of the harmonic numbers,