The order of the group must be the mutiplication of every subgroup.
The order of the group must be the mutiplication of every subgroup.