// TODO: // check gcd // return error if gcd != 1 // or compute inverse with totient function. // related: carmichael_function.rs