图3-17是计算m的n次方的程序流程图其中mn是整数且mn1试证明其部分正确性

部分正确性证明：

1. 初始化：设m，n为整数，且m，n>1，程序开始时将计数器i设为0，将累乘器product设为1，满足初始条件。

2. 循环不变式：在每次循环开始前，i表示当前已经累乘的次数，product表示m的i次方，满足循环不变式。

3. 边界条件：当i=n时，循环结束，product表示m的n次方，满足边界条件。

综上，由初始化、循环不变式和边界条件可以证明该程序部分正确性。