Dado que es muy sencillo probar todos los valores posibles de "g" mod 23 (habrá, como máximo, 22 valores, inclusive si "a" y "b" son números grandes).