Complex sentence: Joseph Louis Lagrange proved the square case in 1770 and Gauss proved the triangular case in 1796, but the theorem was not resolved until it was finally proven by Cauchy in 1813.
Split into simpler sentences: Joseph Louis Lagrange proved the square case in 1770. The full theorem was not resolved until it was finally proven by Cauchy in 1813.