theorem Th55:
  for G being UnContinuous TopGroup, A being dense Subset of G
  holds A" is dense
proof
  let G be UnContinuous TopGroup, A be dense Subset of G;
  (inverse_op G)"A = A" by Th10;
  hence thesis by Th28;
end;
