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