[math-fun] supershort binomial identities