إثبات $LAB $B