Two millennia after Euclid, Euler proved that the formula 2(2 - 1) will yield all the even perfect numbers. Therefore, every Mersenne prime will yield a distinct even perfect number–there is a concrete one-to-one association between even perfect numbers and Mersenne primes. This result is often referred to as the "Euclid-Euler Theorem". Till January 2013, only 48 Mersenne primes are known. This means there are 48 perfect numbers known, the largest being 2 × (2 - 1) with 34,850,340 digits.