By the modal transfer principle, if X follows from something that exists necessarily, then X exists necessarily.

In the case of existing infinite modes, Spinoza’s answer is clearly yes. In Ip22, Spinoza claims that so-called “immediate” infinite modes follow from something that exists necessarily, namely substance. Therefore, by the modal transfer principle, every existing immediate infinite mode exists necessarily. Furthermore, Spinoza claims that every so-called “mediate” infinite mode follows from something that exists necessarily (namely, an immediate infinite mode), so every mediate infinite mode exis