Some Baire semitopological groups that are topological groups

A semitopological group (topological group) is a group endowed with a topology for which multiplication is separately continuous (multiplication is jointly continuous and inversion is continuous). In this paper we show that many Baire semitopological groups are in fact topological groups.