Chọn a \in A bất kỳ.
Nếu a=1 thì ta có điều hiện nhiên. Xét a \geq 2. Gọi p_1,p_2,...,p_j là tất cả các ước nguyên tố của a.
Khi đó, với mỗi 1 \leq k \leq j, tồn tại a_k \in A: p_k \nmid a_k
Đặt P=p_1p_2\cdots p_j và b_i=\dfrac{Pa_i}{p_i} \forall i=\overline{1,j}, b=b_1+b_2+\cdots +b_k
Ta thấy...