On a Method Attaining Known Do Loop Invariant and the Definition of WP in For Loop

• 关于求已知do循环不变式的一个方法及for循环的WP的定义