N=int(input())
A=list(map(int,input().split()))

seg_el=1<<((N+1).bit_length()) # Segment treeの台の要素数
SEG=[0]*(2*seg_el) # 1-indexedなので、要素数2*seg_el.Segment treeの初期値で初期化

for i in range(N):
    SEG[i+seg_el+1]=A[i]

def getvalue(n,seg_el): # 一点の値を取得
    i=n+seg_el

    ANS=SEG[i]
    i>>=1 # 子ノードへ
    
    while i!=0:
        ANS+=SEG[i]
        i>>=1

    return ANS

def updates(l,r,x):
    L=l+seg_el
    R=r+seg_el

    while L<R:
        if L & 1:
            SEG[L]+=x
            L+=1

        if R & 1:
            R-=1
            SEG[R]+=x
        L>>=1
        R>>=1

for i in range(N,0,-1):
    V=getvalue(i,seg_el)
    if V%i!=0:
        print("No")
        break
    else:
        updates(0,i,V)
else:
    print("Yes")