fix prim1_to_bc_thm