ÖFVERSIGT AF K. VETENSK.-AKAD. FÖRHANDLINGAR 1896, N:0 4. 319 



^ 1 d!^H{x'ij % 

 |itt dx'f^ 



Sal. för oändligt mänga värdepar {.xy) 



dH{xii)^ t/e - ^H{xy\ 



H(xy), 



dx 



dx^ - 1 



dH{xy), d?-^n{xy\ 



dx 



dx^ - 1 



= 0. 



Denna likhet skall ega rum för oändligt många värdepar 

 (xy), som satisfiera 



A^y) = o • 



Men då måste det vara en identitet, som gäller under alla 

 förhållanden. Följaktligen skall 



A^H(xy) + A^_H{xy\ + . . . 



+ A,[H'{xy\, — Ä^o] = O 



eller 



^AyH(xy)y = A^k^ 



hvilket är orimligt enligt ofvan bevisade hjelpsats. 

 Vi hafva här antagit 



6',±0. 



Skulle C, vara lika med noll, men C2=i=0, divideras de 

 Q — 1 första af likheterna (3) med 6^ i stället. Vi komma då 

 till ett system 



n(ah\^ + h H{ab\.,_ + ... + \,_, H{ab)i.^^, = O 



H{ab\^ + k,, H(ab).,^ + ... + k^,_i n(ab)2.^,-i = O 



H(ab)o-i.i + \ E[(ab)n-i.2 4- . . . + Ä;^__iiy(ö6)^_, .o-i = O 

 H(ab)f,i — Ä;„ + k.;,H(ab)^2 + • ■ ■ + ^>-i H{ab)^,^^i = O . 



