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

Strategie
	

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

* Eindrelatie
	R:aantal=(Ni:1<=i<=n:n%i=0)

* Invariant
	aantal=(Ni:1<=i<=k:n%i=0) ^ 0<=k<=n

* Stopcriterium
	k!=n

Initialisatie
	k=0;
	aantal=0;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	aantal=(Ni:1<=i<=k-1:n%i=0) + (Ni:i=k:n%i=0)

Algoritme

public boolean IsPriem(int n){
	k=0;
	aantal=0;
	while(k!=n){
		k++;
		if(n%k==0){
			aantal++;
		}
	}
	return (aantal == 2);	
}