Нехай x=nm, y=qp, де m,n,p,q — натуральні числа, причому (m;n)=(p;q)=1. Оскільки x+y−1=nm+pq=npmp+nq має бути цілим, то np∣mp+nq. Аналогічно, y+x−1=qp+mn=qmpm+nq має бути цілим, тобто qm∣pm+nq.
Оскільки np∣mp+nq і qm∣pm+nq, а тому p∣n і n∣p. Маємо, що n=p. Аналогічно доводиться, що m=q. Звідси тепер випливає, що 2m∣n і 2n∣m. Отже, m,n,p,q∈{1;2}. Тепер уже неважко одержати відповідь.