Prove the correctness of the following assignment statement {j = 3 and k = 4} j = j + k {j = 7 and k = 4}