A continuous group is a lie group.