Legyen R egy integritástartomány, amelyben létezik egységelem is. Ekkor minden prímtulajdonságú elem felbonthatatlan R-ben.