Даны натуральные числа а, b. Вычислить произведение а*b, используя в программе лишь операции +, -, =, <>.

Решение.
  var a, b, c, k : integer;
  k := 0; c := 0;
  {инвариант: c = a * k}
  while k <> b do begin
  | k := k + 1;
  | c := c + a;
  end;
  {c = a * k и k = b, следовательно, c = a * b}

---