Proof that Box-sheafification does not affect Box-translated statements