Tal como están son correctas. Se les puede añadir un artículo determinado o indeterminado, pero en tal caso cambia el sentido.

Por poner un ejemplo trivial, «Comprueba que −2 es solución de x² = 4» tiene sentido, pues deja abierta la posibilidad de que haya otras soluciones, lo que no ocurre con «Comprueba que −2 es la solución de x² = 4», que descarta 2, aunque sea válida. Por otra parte, «Comprueba que −2 es una solución de x² = 4» sí es posible y dejaría claro que hay otras soluciones.