Another important kind of groups are groups of symmetries. Symmetry groups provide many examples of groups. It can be proved that every group of finite order is a group of symmetries. For this reason, group theory is called the mathematical study of symmetry.