If a finite abelian group is
expressed as the product of subsets each of which has a prime number of elements
and contains the identity element, then at least one of the factors is a subgroup. This
theorem was proved by L. Rédei in 1965. In this paper we will give a shorter
proof.