prove facts about rational exponents