Let [math]n[/math] be a positive integer, and assume that [math]j[/math] is a positive integer not exceeding [math]n/2[/math]. Show that in Theorem, if one alternates the multiplications and divisions, then all of the intermediate values in the calculation are integers. Show also that none of these intermediate values exceed the final value.