It's part of FToA, without the uniqueness of the factors. This piece is quite hard to write since I kind of had to hand-wave that part here. I did went on without explaining why prime divisors always exist, so maybe, just for completion I'd talk about FToA in my next post. Thanks.