n! theorem