\( I(4) = I(3) + I(2) + I(1) = 4 + 2 + 1 = 7 \equiv 0 \mod 7 \)