Giả sử A là miền nguyên và mỗi nhóm con của nhóm cộng của A là ideal của A. Chứng minh rằng A đẳng cấu với vành số nguyên Z hoặc A đẳng cấu với vành Zp các số nguyên mod p (p là số nguyên tố).