From: Usuario Acceso2 <acceso2@diatel.upm.es>
Date: Thu, 30 Nov 1995 07:31:22 +0800
To: cypherpunks@toad.com
Subject: Question on modular exponents
Message-ID: <230*/S=acceso2/OU=diatel/O=upm/PRMD=iris/ADMD=mensatex/C=es/@MHS>
MIME-Version: 1.0
Content-Type: text/plain


Hi CP's:

I'd be pleased if someone explained me this ASAP:

How could I demonstrate that _ (g^a)^b (mod p) = g^{(a*b) mod q} mod p _
when g's order in Zp is q?

The same question remains for adition. I have the feeling the demonstration
must be similar.

Best.

Jaime