שלב 16 מתוך 20

4 — טענה עבור $n$ זוגי