Demuestra que A_n^p = n!/(n-p)! usando PFC