Proof SSLD, changes "\vect{v_i}" to "\vect{v}_i" (2 instances)