that all the cases of necessary statements are analytic.
They are,
at any rate,
the most obvious instances of a priori statements.
But are they the only ones?
Are there any a priori statements that are also synthetic-necessarily true yet no analytic?