提示里是这样写的 extend_gcd(A, B):

If (A mod B) Then
    Return (0, 1)

“If (A mod B)”一般似乎是A mod B不是零的时候true。

但是这里好像应该需要是A mod B是零的时候true。

是不是应该改一下。

extend_gcd(A, B):

If (A mod B != 0) Then
    Return (0, 1)