GCD_from_Congruence_Modulo_m