def make_divisors(n: int) -> list:
    return_list = []
    for i in range(1, int(n**0.5)+1):
        if n % i == 0:
            return_list.append(i)
            if i != n // i:
                return_list.append(n//i)

    return return_list


n, h = map(int, input().split())
al = list(map(int, input().split()))
div = make_divisors(n)

cnt = [0]*(2*10**5+1)
for a in al:
    cnt[a] += 1

ans = 'NO'
if len(div) > 2:
    for i in range(0, len(div), 2):
        if cnt[i] > 0 and cnt[i+1] > 0:
            ans = 'YES'
if cnt[n] > 0:
    ans = 'YES'

print(ans)