def binomial(x, m): '''Return the binomial coefficient (x m). ''' m = ZZ(m) return mul(x - i for i in range(m)) / m.factorial()