binco:arg
    ^ (self factorial) / (arg factorial * (self-arg) factorial)