Unique comaximal factorization