#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
 
#include<bits/stdc++.h>
using namespace std;

ll C[20][20];
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  rep(i,20) C[i][0]=1,C[i][i]=1;
  for(int i=2;i<20;i++){
    for(int j=1;j<i;j++) C[i][j]=C[i-1][j-1]+C[i-1][j];
  }
  
  ll n,m;
  cin>>n>>m;
  
  if(m>n){
    cout<<0<<endl;
    return 0;
  }
  
  auto f=[&](ll x)->ll{
    ll tmp=1;
    rep(i,n) tmp*=x;
    return tmp;
  };
  
  vector<ll> ANS(n+1);
  for(int i=1;i<=m;i++){
    ANS[i]=f(i);
    for(int j=1;j<i;j++) ANS[i]-=C[i][j]*ANS[j];
  }
  cout<<ANS[m]<<endl;

  return 0;
}