We check if v1 is adjacent to v3 (which we can do in constant time due to the degree of v1).
ما مجاور بودن v1 و v3 را بررسی می‌کنیم (این کار با توجه به درجه v1 در زمان ثابت انجام می‌شود).