Number of Permutations of One Less/Proof 1