section_path: Integer exponents/Positive exponents
section_name: Positive exponents
paragraph_text: Positive exponents
  
  The definition of the exponentiation as an iterated multiplication can be formalized by using induction, and this definition can be used as soon one has an associative multiplication:
  
  The base case is
  
  and the recurrence is
  
  The associativity of multiplication implies that for any positive integers m and n,
  
  and