USE: math.combinatorics USE: prettyprint 5 5 nPk .