A := a + b;
b := a - 2 * b;
(Надо прокомментировать последнее присваивание. b должно быть равно разности исходных a и b, а не нового a и старого b. Вспоминая, что новое a это сумма a + b, после приведения подобных получим (a + b) - 2b = a - b, как и требовалось.)