Vraagstelling
	Bepaal de som der kwadraten van 1 t/m n met n >= 1.

Strategie
	constante 1 vervangen door variabele k

Formele probleemspecificatie
	pre: n >= 1
	post:som=(Si:1<=i<=n:i*i) ^ n >= 1

* Eindrelatie
	R:som=(Si:1<=i<=n:i*i)

* Invariant
	som=(Si:k<=i<=n:i*i) ^ 1<=k<=n+1

* Stopcriterium
	k!=1	

Initialisatie
	k=n+1;
	som=0;

Stap richting stopcriterium
	k--;

Actie herstel invariant
	som=(Si:k-1<=i<=n:i*i) + (Si:k=i:i*i)

Algoritme

public int som(int n){
	int k=n+1;
	int som=0;
	while(k!=1){
		k--;
		som = som + k*k;
	}
	return som;
}