証明 $LAB $B