Topological group implies semitopological group

Statement
Any topological group is a  semitopological group.

Proof
The proof relies on the fact that jointly continuous implies separately continuous: if the multiplication map is jointly continuous in both variables, it is also continuous in each variable separately.