$ B : ^ B 3 B ^gcg