Prime Decomposition of Integer is Unique