In the name of Kripke

an analytic statement is, in some sense, true by virtue of its meaning and true in all possible worlds by virtue of its meaning. Then something which is analytically true will be both necessary and a priori. (that's sort of stipulative.)