This theorem states that every finite group can be decomposed into a direct product of cyclic groups.