שינויים
/* הוכחה */
:<math>(a_0+a_1+a_2+...)(b_0+b_1+b_2+...)=(a_0b_0)+(a_0b_1+a_1b_0)+(a_0b_2+a_1b_1+a_2b_0)+...</math>
סידרנו כאן את הזוגות לפי סכום האינדקסים שלהם; קודם כל המכפלה בה סכום האינדקסים הוא אפס, לאחר מכן שתי המכפלות בהן סכום האינדקסים הוא שתייםאחד, ואז שלוש המכפלות בהן סכום האינדקסים הוא שלוש שתיים וכן הלאה.
בכתיב מדוייק אנחנו רוצים לטעון כי
