It's a little messy with those lines there, but I think this will suit our purposes. So when we're multiplying by this, we're essentially dividing by this expression up here. Now, this we can simplify pretty easily. We have a, well actually I forgot to do, this should be 9 factorial. This should be 9 times 8 times 7 times 6 times 5 times 4 times 3 times 2 times 1. So let me put that in both places. Actually, let me just clear that both places.