The group of automorphisms of the function fields of the curve \(x^n+y^m+1=0\) A recursive family of differential polynomials generated by the Sylvester identity, and addition theorems for hyperelliptic Kleinian functions 