This may be proven by considering that there exists a factorial for any integer .
Therefore the denominator divides into its own factorial even if it does not divide into any smaller factorial .
This may be proven by considering that there exists a factorial for any integer and therefore the denominator divides into its own factorial even if it does not divide into any smaller factorial .