Abelian group
유한 아벨 군 formula_4에 대하여, 다음 조건을 만족시키는 formula_1가 존재한다.