How does one show (directly) that the category of topological groups is protomodular?