Istnieje jedyna para liczb całkowitych spełniająca równanie  dla dowolnych liczb całkowitych , przy założeniu, że nie jest równe zero, a spełnia warunek .

a)