 Since the ideals should be proper, these factors must not themselves be invertible (this avoids trivial factors in the sum), and the inclusion of the ideals means one has divisibility formula_4.The free part is visible in the part of the decomposition corresponding to factors formula_5.Such factors, if any, occur at the end of the sequence.