Prove exponentiation facts for the rationals