ograniczanie Eliza: W liczbach całkowitych rozwiązać równanie (3x−1)2y = 4x(y+1) korzystając przy tym z ograniczoności zbioru możliwych rozwiązań.

wredulus_pospolitus: ⇔ (3x−1)y = 2x(y+1) ⇔ (x−1)y = 2x ⇔

	2x		2x − 2 + 2		2
⇔ y =		(o ile x≠1) =		= 2 +
	x−1		x−1		x−1

wnioski wyciągamy