Three algebraic identities connect permutations of related orders, each proved directly from nPr=(n−r)!n!.
Property 1. nPn=nPn−1.
Proof. nPn−1=(n−(n−1))!n!=1!n!=n!=(n−n)!n!=nPn.
Property 2 (the reduction formula). nPr=n×n−1Pr−1.
Proof. n×n−1Pr−1=n×((n−1)−(r−1))!(n−1)!=(n−r)!n!=nPr. Iterating, nPr=n×n−1Pr−1=n(n−1)×n−2Pr−2=n(n−1)(n−2)×n−3Pr−3=⋯=n(n−1)⋯(n−(r−1)) — recovering Theorem 4.1 as a chain of reductions.
Property 3. nPr=n−1Pr+r×n−1Pr−1.
Proof. Write both terms over the common denominator (n−r)!: …