:לא הבנתי את מה שעשית, ונראה לי שאסור להשתמש בmod כי הכוונה היא לשדה עם הפעולות הרגילות.
תשובה: (לא מתרגל), mod זו פעולה ב Z, ב Zp היא פועלת אוטומטית. אולי אפשר להגיד גם שמכיוון ש a*2 מונוטונית אז מספיק לבדוק את ערכי הפונקציה עבור a = 0,1 ולראות שהיא לא שווה 1.
== סימון סכום ==