How many solutions are there for this equation: $$x_1 + x_2 + x_3 = 17$$ when they are all non negative integers and $x_1 > 6$.
I was thinking to solve the original equation then subtracting $x_1 + x_2 + x_3 = 11$ from it. Would this be the appropriate path?