Hint 1.6.4.1.

Instead, count the solutions to \(y_1 + y_2 + y_3 + y_4 = 7\) with \(0 \le y_i \le 3\text{.}\) Why is this equivalent?

in-context