Vraagstelling
	Bepaal of n een priemgetal is. n >= 1

Strategie
	

Formele probleemspecificatie
	pre: n>=1
	post: IsPriem = !(Ei:2<=i<=n-1:n%i=0)

* Eindrelatie
	R:deler=(Ei:2<=i<=n-1:n%i=0)

* Invariant
	deler=(Ei:2<=i<=k:n%i=0) ^ 2<=k<=n-1

* Stopcriterium
	k!=n-1

Initialisatie
	k = 1;
	deler = false;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	deler=(Ei:1<i<k-1:n%i=0) || (Ei:i=k:n%i=0)

Algoritme

public boolean IsPriem(int n){
	k = 1;
	deler = false;
	while(k!=n-1){
		k++;
		deler = deler || (n%k==0);
	}
	return !deler;
}

Optimalisatie:

public boolean IsPriem(int n){
	k = 1;
	deler = false;
	while(k!=n-1 ^ !deler){
		k++;
		deler = (n%k==0);
	}
	return !deler;
}