update prim2_to_bc_thm and prim1_to_bc_thm