theorem Th6: :: LAPLACE:6

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