שלב 5 מתוך 20
FFF היא פונקציה קדומה כלשהי של fff. את CCC לא צריך: הוא מופיע ב-F(b)F(b)F(b) וגם ב-F(a)F(a)F(a), ונעלם בחיסור. התוצאה היא מספר, לא פונקציה.