Hi professor. I wanted to ask you if the correct statement for exercise 1.2 is "Let be an additively reduced semidomain containing an additive atom that is not a multiplicative unit. Prove that no analog of the Goldbach conjecture holds for " instead of . I think I have the answer if it is for . It is enough to consider the polynomial that cannot be expressed as the sum of a finite number of irreducibles.