Demuestra que el número de funciones inyectivas f:{1,...,m}->{1,...,n} es n!/(n-m)! vía PFC