a, b, c, d = sorted(map(int, input().split()))
if b - a == c - b == d - c == 1:
    print('Yes')
else:
    print('No')