A = sorted(map(int, input().split()))
yes = (A[1] - A[0] == A[2] - A[1] == A[3] - A[2] == 1)
print('Yes' if yes else 'No')