theorem
  Image g = gr rng g
proof
  rng g = the carrier of Image g & the carrier of Image g = carr Image g
  by Th44;
  hence thesis by GROUP_4:31;
end;
