discrete logarithm equality across groups (1)