Hola
Lo que has hecho es correcto, \( 2k+2\in{
Z}, \ \forall{k}\in{Z} \)
Se demuestra que no se cumple recíprocamente, con un contraejemplo, elige un \( l \) tal que, no exista \( k\in{Z} \), tal que \( 6k+5=3l-1\Rightarrow{6k+6=3l}\Rightarrow{2k+2=l} \), analiza que sucede si l es par o si l es impar y según eso pon tu contraejemplo.
Saludos