Number of Permutations of One Less/Proof 2