This is because of how factorials are defined — namely, as the products of all whole numbers between 1 and whatever number you're taking the factorial of — and this property can simplify your work a lot by allowing you to cancel off everything from 1 through whatever is the largest whole number that two of the factorials share.