Bu, er bütün sayınıñ adiy sayılarğa yekâne bir faktorizatsiyasına saip olğanını tasdıq ete.