Prove nog_v_in_norms.