Largest Number not Sum of Squares of Distinct Primes

Theorem
The largest positive integer which cannot be expressed as the sum of the squares of distinct prime numbers is $17 \, 163$.