>>587
U_aは全部Bの部分なんだから自明