sum binomial[4, n]*binomial[7, n], n=0...4