 The fact that Z is a UFD can be stated more elementarily by saying that any natural number can be uniquely decomposed as product of powers of prime numbers.It is also known as the fundamental theorem of arithmetic.An element "a" is a prime element if whenever "a" divides a product "bc", "a" divides "b" or "c".