Beweise A_n^p = n!/(n-p)! über das FZP