#include //#include using namespace std; using dou =long double; string yes="yes"; string Yes="Yes"; string YES="YES"; string no="no"; string No="No"; string NO="NO"; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; } typedef long long ll; typedef pair P; typedef pair PL; const ll mod = 1000000007ll; //const ll mod = 10007; struct mint { ll x; // typedef long long ll; mint(ll x=0):x((x%mod+mod)%mod){} mint operator-() const { return mint(-x);} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod-a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this;} mint operator+(const mint a) const { return mint(*this) += a;} mint operator-(const mint a) const { return mint(*this) -= a;} mint operator*(const mint a) const { return mint(*this) *= a;} mint pow(ll t) const { if (!t) return 1; mint a = pow(t>>1); a *= a; if (t&1) a *= *this; return a; } // for prime mod mint inv() const { return pow(mod-2);} mint& operator/=(const mint a) { return *this *= a.inv();} mint operator/(const mint a) const { return mint(*this) /= a;} }; istream& operator>>(istream& is, const mint& a) { return is >> a.x;} ostream& operator<<(ostream& os, const mint& a) { return os << a.x;} #define rep(i, n) for(ll i = 0; i < (ll)(n); i++) #define brep(n) for(int bit=0;bit<(1<= (ll)0ll; i--) #define rrep(i,m,n) for(ll i = m; i < (ll)(n); i++) #define reprep(i,j,h,w) rep(i,h)rep(j,w) #define all(x) (x).begin(),(x).end() #define rall(x) (x).rbegin(),(x).rend() #define VEC(type,name,n) std::vector name(n);rep(i,n)std::cin >> name[i]; #define pb push_back #define pf push_front #define query int qq;std::cin >> qq;rep(qqq,qq) #define lb lower_bound #define ub upper_bound #define fi first #define se second #define itn int #define mp make_pair #define sum(a) accumulate(all(a),0ll) #define keta fixed< > name(m,vector (n,a)) //#define vvector(name,typ,m,n)vector > name(m,vector (n)) #define vvvector(name,t,l,m,n,a) vector > > name(l, vector >(m, vector(n,a))); #define vvvvector(name,t,k,l,m,n,a) vector > > > name(k,vector > >(l, vector >(m, vector(n,a)) )); #define case std::cout <<"Case #" <> a>>b;a--;b--; //#define grid_input(a,type) int h,w;std::cin >> h>>w;vvector(a,type,h,w,0);reprep(i,j,h,w)std::cin >> a[i][j]; //typedef long long T; ll ceil(ll a,ll b){ return ((a+b-1)/b); } const int INF = 2000000000; //const ll INF64 =3223372036854775807ll; //const ll INF64 = 9223372036854775807ll; const ll INF64 = 9223372036854775ll; const ll MOD = 1000000007ll; //const ll MOD = 1000003ll; const ll OD = 1000000000000007ll; const dou pi=3.141592653589793; long long modpow(long long a, long long n) { //累乗の余剰 long long res = 1; while (n > 0) { if (n & 1) res = res * a % MOD; a = a * a % MOD; n >>= 1; } return res; } //メモ //tuple tのget関数はget(t) //resizeはメンバ関数 //三項演算子を覚えよう // a?b:cと書くと aならばbの処理をする int main(){ VEC(int,a,4); sort(all(a)); sets; rep(i,3)s.insert(a[i+1]-a[i]); if(s.size()==1&&*s.begin()==1)std::cout << Yes << std::endl; else std::cout << No << std::endl; }