Un insieme X si dice chiuso per l'operazione * se per ogni a,b in X risulta che il risultato a*b appartiene ancora ad X. IN questo caso a*b=(a+2)b + a, per cui devi dimostrare che sostituendo ad a e b un qualunque multiplo di 2, il risultato è equivalente a (a+2)b+a.
"... io cerco di prendere dei muratori e farne degli architetti, ma voi sempre muratori rimanete! (F.Esposito)