Расширенный алгоритм Евклида

В статье сказано, что алгоритм корректно работает на отрицательных числах.
При A = -5, B = 4 выдает G = -1, X = 1, Y = 1.
Мне кажется, что правильным ответом будет G = 1, X = 3, Y = 4.