Show that the number of injective functions f:{1,...,m}->{1,...,n} is n!/(n-m)! via FCP