update prim2_to_bc_thm