Tag: Extended Euclidean algorithm congruence