Legyen R egy integritástartomány, amelyben teljesül a számelmélet alaptétele. Ekkor minden felbonthatatlan elem prímtulajdonságú R-ben.