$A$ and $B$ are finite sets. A function from $A$ to $B$ that is one-one and onto exists exactly when