用 PFC 证明 A_n^p = n!/(n-p)! 。