VAN_JÓ_ESET(I):
	Ciklus
		X(I):=X(I)+1
		amíg X(I)<=M(I) és ROSSZ_ESET(I, X(I))
	Ciklus vége
	VAN_JÓ_ESET:=X(I)<=M(I)
Eljárás vége.