Trichotomy axiom, negated inequalities, advanced ratio problems, quotient rule for exponents, distributive property of rational expressions that contain exponents