Satunnainen esimerkki induktiotodistuksesta

Ykkösvaihe: todistetaan että toimii kun n=0:
sigma ( k = 0, 0 ) { k(k+1) } = 0(0+1)(0+1) / 3
                     0(0+1)   = 3/3
                            1 = 1

Kakkosvaihe: oletetaan että 
sigma ( k = 0, x )