theorem Th33:
  (i + 1) * h = i * h + h & (i + 1) * h = h + ( i * h)
proof
  1 * h = h by Th25;
  hence thesis by Th32;
end;
