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