Esto viene de la definición formal de un factorial: cantidad de combinaciones que puede haber de n objetos sin repeticiones. Esto viene de que, si no tienes objetos o el grupo esta vacío, incluso en ese caso solo existe una combinación posible.