For every  n MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabgIGiolablwriLcaa@39CC@   we have (Xa) i=0 n1 a i X ni1 = X n a n MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadIfacqGHsislcaWGHbGaaiykamaaqahabaGaamyyamaaCaaaleqabaGaamyAaaaakiaadIfadaahaaWcbeqaaiaad6gacqGHsislcaWGPbGaeyOeI0IaaGymaaaaaeaacaWGPbGaeyypa0JaaGimaaqaaiaad6gacqGHsislcaaIXaaaniabggHiLdGccqGH9aqpcaWGybWaaWbaaSqabeaacaWGUbaaaOGaeyOeI0IaamyyamaaCaaaleqabaGaamOBaaaaaaa@4F07@ .


Proof  by induction on n:

  1. For n=1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabg2da9iaaigdaaaa@389D@ we get:  (Xa) i=0 11 a i X 1i1 =(Xa) a 0 X 0 =Xa= X 1 a 1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadIfacqGHsislcaWGHbGaaiykamaaqahabaGaamyyamaaCaaaleqabaGaamyAaaaakiaadIfadaahaaWcbeqaaiaaigdacqGHsislcaWGPbGaeyOeI0IaaGymaaaaaeaacaWGPbGaeyypa0JaaGimaaqaaiaaigdacqGHsislcaaIXaaaniabggHiLdGccqGH9aqpcaGGOaGaamiwaiabgkHiTiaadggacaGGPaGaeyyXICTaamyyamaaCaaaleqabaGaaGimaaaakiaadIfadaahaaWcbeqaaiaaicdaaaGccqGH9aqpcaWGybGaeyOeI0Iaamyyaiabg2da9iaadIfadaahaaWcbeqaaiaaigdaaaGccqGHsislcaWGHbWaaWbaaSqabeaacaaIXaaaaaaa@5CDB@ .
     
  2. Now suppose the equation to be valid for an arbitrary n. This implies for the next number n+1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabgUcaRiaaigdaaaa@3879@ :
     
    (Xa) i=0 n a i X ni =(Xa)(X i=0 n1 a i X ni1 + a n ) =X( X n a n )+ a n (Xa) = X n+1 - a n X+ a n X a n+1 = X n+1 a n+1 . MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabqGaaaaabaGaaiikaiaadIfacqGHsislcaWGHbGaaiykamaaqahabaGaamyyamaaCaaaleqabaGaamyAaaaakiaadIfadaahaaWcbeqaaiaad6gacqGHsislcaWGPbaaaaqaaiaadMgacqGH9aqpcaaIWaaabaGaamOBaaqdcqGHris5aaGcbaGaeyypa0JaaiikaiaadIfacqGHsislcaWGHbGaaiykaiaacIcacaWGybWaaabCaeaacaWGHbWaaWbaaSqabeaacaWGPbaaaOGaamiwamaaCaaaleqabaGaamOBaiabgkHiTiaadMgacqGHsislcaaIXaaaaaqaaiaadMgacqGH9aqpcaaIWaaabaGaamOBaiabgkHiTiaaigdaa0GaeyyeIuoakiabgUcaRiaadggadaahaaWcbeqaaiaad6gaaaGccaGGPaaabaaabaGaeyypa0JaamiwaiaacIcacaWGybWaaWbaaSqabeaacaWGUbaaaOGaeyOeI0IaamyyamaaCaaaleqabaGaamOBaaaakiaacMcacqGHRaWkcaWGHbWaaWbaaSqabeaacaWGUbaaaOGaaiikaiaadIfacqGHsislcaWGHbGaaiykaaqaaaqaaiabg2da9iaadIfadaahaaWcbeqaaiaad6gacqGHRaWkcaaIXaaaaOGaeyOeI0IaamyyamaaCaaaleqabaGaamOBaaaakiaadIfacqGHRaWkcaWGHbWaaWbaaSqabeaacaWGUbaaaOGaamiwaiabgkHiTiaadggadaahaaWcbeqaaiaad6gacqGHRaWkcaaIXaaaaaGcbaaabaGaeyypa0JaamiwamaaCaaaleqabaGaamOBaiabgUcaRiaaigdaaaGccqGHsislcaWGHbWaaWbaaSqabeaacaWGUbGaey4kaSIaaGymaaaaaaaaaa@887A@