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