bonjour je dois montrer si l'esemble F est un R ss ev de l 'espace vectoriel R²

F={(x,y) € R²/ x=y}

F est non vide car (0,0) € R ² et 0=0

pour tt  X  =(x,y)  x,y € R                 X € F
           X' =(x',y')  x',y' € R                X' € F

pour tt  a,b € R

aX+bX' =a(x,y)+b(x',y')

           =(ax,ay)+(bx',by')

           =(ax+bx',ay+by')

apres j'ai du mal a voir le reste  svp merci