Homework 3.6. Prove that for a topological group to be locally-comp...