//ABC 188 A
#include<bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)


int main(){
    int a,b;
    cin >> a >> b;
    if(a > b){
        if(b+3>a){
            cout << "Yes";
        }else{
            cout << "No";
        }
    }else{
                if(a+3>b){
            cout << "Yes";
        }else{
            cout << "No";
        }
    }
}
#include <bits/stdc++.h>
using namespace std;
using ll = long long;

const string YES = "Yes";
const string NO = "No";

void solve(long long X, long long Y){
    if (std::abs(X - Y) < 3) {
        std::cout << YES << "\n";
    } else {
        std::cout << NO << "\n";
    }
}

// Generated by 1.1.7.1 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
// clang-format off
int main(){
    long long X;
    scanf("%lld",&X);
    long long Y;
    scanf("%lld",&Y);
    solve(X, Y);
    return 0;
}
