#### Answer

Each time the test for termination is conducted, the statement “Sum + 1 +
2 + ... + K and K less than or equal to N” is true.

#### Work Step by Step

Each time the test for termination is conducted, the statement “Sum + 1 +
2 + ... + K and K less than or equal to N” is true.
Combining this with the termination condition “K greater than or equal to N” produces the desired conclusion “Sum = 1 + 2 + ... + N.”
Because K is initialized at zero and incremented by one each time through the loop,
its value must ultimately reach that of N.