for n being Nat holds card (Permutations n) = n !