Taʼrif va asosiy tushunchalar, faktorial va uning oʻrinlashtirishlardagi roli, P(n,k)=n!/(n-k)! formulasi va isboti