通过 PFC 证明单射 f:{1,...,m}->{1,...,n} 数为 n!/(n-m)! 。