(14 Oct 21) Expanding binomial products