Igazoljuk, hogy ha $k\ge 2$, természetes szám, és a $p_1\mathrm{,}{p}_2\mathrm{,}\text{...}\mathrm{,}{p}_k$ természetes számok egyikének sincs a $q$ természetes számmal 1-nél nagyobb közös osztója, akkor az