b1はb2に支配されているためb1を消去。