Combinatorial proof for $n > k > 0$:
$$\sum_{j=0}^n {{k}\choose{j}} {{n-k}\choose{j}} = {{n}\choose{k}}$$
I don't get why would that work. On the RHS I just choose $k$ elements from $n$ avaliable. I know that $n > k$ so thats valid.
On the LHS I choose $j$ elements from $k$ avaliable and that j $\in [0, n]$, but $n>k$ so at some point that doesn't make sense.
Also the whole meaning of LHS: I choose $j$ elements from $k$ avaliable, then $j$ elements from $n- k$ avaliable (because $k$ are already chosen). So I end up with $2 \times j$ elements chosen from $n$ avaliable separated by some "inner group border" so to say (namely, $k$).
Does anybody understand any of that? Thanks in advance!