preuve $LAB $B