Let N' be the set of all positive integers congruent to 1 (mod 4).

Call an element N'\{1} irreducible if it can't be factorized into strictly smaller elements of N'.

Is every element of N' a product of irreducibles?

Is this expression of an element of N' as a product of irreducibles unique up to order?