Sum ((1,1) Subnomial n) = (n + 1) * (1 |^ n) by SAA;
hence Sum ((1,1) Subnomial ((n + 1) - 1)) = n + 1 ; :: thesis: verum