שינויים
/* משתנים ותחולתם */
'''משפט ואן-דר-ורדן''' הוא אחד המשפטים היסודיים בקומבינטוריקה אינסופית. הוא קובע שבכל חלוקה של המספרים השלמים למספר סופי של קבוצות, אחד החלקים כולל סדרות חשבוניות (<math>\ a, a+d, a+2d, \dots,a+(k-1)d</math>) מכל אורך סופי k.
<nowiki>(1)</nowiki>(1) הסבירו את ההבדל בין טענה זו לטענה "בכל חלוקה של השלמים למספר סופי של קבוצות, לכל k, אחד החלקים מכיל סדרה חשבונית באורך k", והראו שהן שקולות זו לזו למרות ההבדל. (2) הראו שאפשר לחלק את השלמים לשתי קבוצות שאף אחת מהן אינה כוללת סדרה חשבונית אינסופית.
=== וריאציות וכימות יחסי ===
