Factorials - sorting n distinct objects = n! proof