Why must one be excluded in order to preserve the uniqueness of the fundamental theorem? [SEP] The uniqueness in this theorem requires excluding 1 as a prime because one can include arbitrarily many instances of 1 in any factorization, e.g., 3, 1 · 3, 1 · 1 · 3, etc.