Jeurgen, A greatest common divisor of 23J1 and 25J25 is 3J1. Complex division by of 23J1 and 25J25 by 3J1 yields Gaussian integers
23J1 25J25 ÷ 3J1 7J¯2 10J5 but mod 3J1 of the same numbers does not consistently yield zeroes 3J1 | 23J1 25J25 3J1 0 I can provide numerous other examples of this problem if needed. Regards, Fred