Consider the discrete time system (S) with input \(x[n]\) and output \(y[n]\) as shown in the figure. The two sub-systems, represented by their impulse responses \(h_1[n]\) and \(h_2[n]\), are linear and time invariant.

Which of the following statements is necessarily TRUE?