The thing that confuses me is that for example to prove the binomial theorem, which is a statement P(x,y,n), we can simply prove that P(x,y,n) => P(x,y, n+1) and we don't have to prove it for all x and y, as we can just leave them arbitrary. Similarly why can't we prove, P(n,m) by proving...