It is known that the Segre-Gimigliano-Harbourne-Hirschowitz Conjecture holds for linear systems of curves with at most 9 imposed base fat points. We give a nice proof based on a combinatorial method of showing non-speciality ...