#include<bits/stdc++.h>
using namespace std;

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define rrep(i,n) for(int i=(int)(n-1);i>=0;i--)
#define ALL(v) v.begin(),v.end()
#define RALL(v) v.rbegin(),v.rend()
template <class T> using V=vector<T>;
template <class T> using VV=V<V<T>>;
using u128=__int128_t;
using ll=long long;

template<class T> T modpow(T x,T n,T MOD){
  T ans=1;
  while(n){
    if(n&1) ans=ans*x%MOD;
    x=x*x%MOD;
    n/=2;
  }
  return ans;
}

// Miller-Rabin 素数判定(2^64以下なら確定)
bool is_prime(ll n){
  if(n<=1) return false;
  if(n==2) return true;
  if(n%2==0) return false;
  vector<ll> A={2,325,9375,28178,450775,9780504,1795265022};
  ll s=0,d=n-1;
  while(d%2==0){ //n-1=2^s*d (dは奇数)
    ++s;
    d>>=1;
  }
  for(auto a:A){
    if(a%n==0) return true;
    ll t,x=modpow<__int128_t>(a,d,n);
    if(x!=1){ //a^d≡1 ならほぼ素数
      for(t=0;t<s;++t){
        if(x==n-1) break; //a^(2^t*d)≡-1 (すべてのtで)ならほぼ素数
        x=__int128_t(x)*x%n;
      }
      if(t==s) return false; //どちらも当てはまらないなら合成数
    }
  }
  return true; //A全てで素数判定なら確定
}

int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int m,d;
  cin>>m>>d;
  int a=100*m+d;
  if(is_prime(a)) cout<<"Yes\n";
  else cout<<"No\n";

  return 0;
}