>>603
証明済みの方で
a := a+c, b := b+c, c := -c
とでもすれば