import math
from collections import Counter

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


A.sort()
zeros = A.count(0)
nonzeros = N - zeros
k = 0
for i in range(zeros, N-1):
    a, b = A[i], A[i+1]
    k = math.gcd(k, b - a)

AA = Counter(A)
cant = False
for key, value in AA.items():
    if key != 0 and value >= 2:
        if cant:
            exit(print("No"))
        else:
            cant = True

if k != 0:
    need = (A[-1] - A[zeros]) // k + 1 - nonzeros
    print(need, zeros)
    if need <= zeros:
        print("Yes")
    else:
        print("No")
else:
    print("Yes")