A Baire space is a topological space in which the union of every countable collection of closed sets with empty interior has empty interior.
$G$ is a topological group, if $G$ is of the second category (in itself), then $G$ is Baire space, that is to say, every nonempty open subset of $G$ is of the second category in $G$.
How to prove it?
Thanks in advance.