In an integral domain where fac- toring terminates that integral domain is UFD if and only if every irreducible element is prime.
ஒரு ஒருங்கிணைந்த டொமைனில், ஒருங்கிணைந்த டொமைன் கரணியாக்கம் முடிவடையும் போது,   ஒவ்வொரு பகுக்கமுடியாத உறுப்பு முதன்மையானதாக இருந்தால் மட்டுமே UFD ஆக இருக்கும் என்பதாகும்.