ROSSZ_ESET(I, X(I)):
	J:=1
	Ciklus amíg J < I és (J,X(J)) nem zárja ki (I,X(I))-t
		J:=J+1
	Ciklus vége
	ROSSZ_ESET:=J < I
Eljárás vége.