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