3 - 从陪集到群分解