By definition, groups divide.

[409]