La afirmación contrarrecíproca también es cierta pues, gracias a un teorema de Poincaré, si v es solenoidal en algún punto entonces localmente el campo es expresable como el rotacional de un campo vectorial.