binomial-coefficient public under number 42 List Picture As a command %3 n0 binomial-coefficient n1 number n1->n0