Legyen R egy tetszőleges integritástartomány. Ha bármely két elemnek létezik kitüntetett közös osztója, akkor R-ben minden felbonthatatlan elem prímtulajdonságú.