Behauptung: Programm generiert für n Element N0 die n-te Fibonaccizahl
Induktionsanfang:
Für A(0) ist a=0, b=1 und die Schleife wird nicht betreten. Dementsprechend ist a=F(0) und b=F(1). Der Output ist F(0)=1. Somit ist A(0)=1,	was zu keinem Widerspruch führt. Somit ist der Induktionsanfang erfüllt.
Induktionsschritt: mit Hilfe Induktionsvorrausetzung A(n) mit n>=m wobei m in diesem Fall 0 . Sonderfall F(1) wird nicht betrachtet, sondern F(1)=1 als gegeben betrachtet.
a=0 =F(0)
b=1=F(1)
In der Schleife: i ist anfangs 1
t = b => t=F(i)=b, da 1=i
b=a+b => b=F(i-1)+F(i), da 0= i-1 und b=F(i)
a=t => a=F(i), da t=F(i)
VOR der nächsten Schleife sieht es nun folgendermaßen aus
Da i um eins erhöht wird  ist a nun = F(i-1) und b=F(i-1-1)+F(i-1)=F(i)
Um jetzt die Korrektheit für alle n zu beweisen:
Zu beweisen: F(n+1) = F(n) + 1 „durchlauf der Schleife“
Wie vorher gezeigt hat VOR einer Schleife F(i) a den Wert F(i-1) und b F(i). Analog zu dem Beweis am Anfang des Induktionsschrittes ist nach der Schleife a F(i) und b F(i+1). 
In der nten. Schleife hatte b den Wert b=a+b = F(n)+F(n-1). Wird die Schleife nochmal ausgeführt wird t mit b beschreiben und a mit t und somit wird a(nte Interation) =t(nte Iteration)=b(n-1te Iteration) ausgegeben. 
Somit ist F(n) +1 Durchlauf der Schleife =F(n)+F(n-1)
F(n+1)= F(n)+F(n-1)
F(n+1) entspricht F(n)+F(n-1)
Insgesamt
F(n)+F(n-1)=F(n)+F(n-1)

i = 10;
print i; // gibt 10 aus
print ++i; // gibt 11 aus
print i++; // gibt 11 aus
print i; // gibt 12 aus

==20060== Conditional jump or move depends on uninitialised value(s)
==20060==    at 0x452626: bornuct_ 
==20060==    by 0x418D94: Drellyan::BornMassive(int, double) 
==20060==    by 0x418B69: Drellyan::Born(int) 
==20060==    by 0x4221C5: Sudakov::HighestBid()
==20060==    by 0x41D215: Sudakov::GenEvent() 
==20060==    by 0x41CF22: Sudakov::Sudakov(phsp, int, int, gsl_rng*, LHE) 
==20060==    by 0x403DC0: main 
==20060==  Uninitialised value was created by a stack allocation
==20060==    at 0x451AF5: bornuct_