Vraagstelling
	De grootste gemene deler voor x en y. x>=1 en y>=1

Strategie

Formele probleemspecificatie
	pre: x>=1 ^ y>=1
	post: ggd=(Maxi:1<=i<=min(x,y) ^ x%i=0 ^ y%i=0:i) x>=1 ^ y>=1

* Eindrelatie
	R:ggd=(Maxi:1<=i<=min(x,y) ^ x%i=0 ^ y%i=0:i)

* Invariant
	ggd=(Maxi:1<=i<=k ^ x%i=0 ^ y%i=0:i) ^ 1<=k<=min(x,y)

* Stopcriterium
	k!=min(x,y)

Initialisatie
	k=1;
	ggd=1;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	ggd = (Maxi:1<=i<=k-1 ^ x%i=0 ^ y%i=0:i)max(Maxi:i=k ^ x%i=0 ^ y%i=0:i) 

Algoritme
public int ggd(int x,int y){
	k=1;
	ggd=1;
	while(k!=Math.min(x,y)){
		k++;
		if(x%k=0 && y%k=0){
			ggd = k;
		}
	}
	return ggd;	
}