Prove the following 3-statement program is correct, given the stated precondition and postcondition:

{x =} x = x + x + x;

x = x + 1;

x = (x-1)/3 {x = }

Transcribed image text