Vraagstelling
	Bepaal rest na deling van int a en b >= o. De MOD operatie voor positieve getallen. Maar alleen m.b.v. '<' en '-' operatie.

Strategie
	Methode 3, stap 1
	Om de invariant te vinden, bepalen we eerst de eigenschappen:
	(1)	x < y => MOD(x,y) = x
	(2)	x >= y => MOD(x,y) = MOD(x-y,y)

	Nu de eindrelatie:
	R : mod = MOD(a,b)
	<=>
	R : MOD(a,b) = MOD(p,q)  ^  STOP  ^  mod = RES
	<=>
	R : MOD(a,b) = MOD(p,q)  ^  p<q  ^  mod=p

Formele probleemspecificatie
	pre: a >= 0  ^  b > 0
	post:mod = a MOD b

* Eindrelatie
	R : MOD(a,b) = MOD(p,q)  ^  p<q  ^  mod=p

* Invariant
	I(p,q) : MOD(a,b) = MOD(p,q)  ^  mod=p

* Stopcriterium
	p<q

Initialisatie
	p = a;
	q = b;
	mod = a;

Stap richting stopcriterium
	p = p - q;

Actie herstel invariant
	Na de stap moet mod weer gelijk aan p worden gemaakt.

Algoritme

public int mod(int a, int b){
	int p = a;
	int q = b;
	mod = a;
	while (!(p < q)){
		p=p-q;
		mod = p;
	}
	return mod;
}