כלומר, אם הבנתי נכון אם לא מצויינת לי ההערה הזאת אני יכולה להניח מצב ש x=y? ואז להראות כי הפונקציה היא לא חח"ע?
: גם בלי ההנחה שהם שווים אפשר להגיע לדוגמא נגדית. בכל אופן כלא מצוין בשאלה הכוונה <math>\forall (x,y)\in \mathbb{N}\times \mathbb{N}</math> [[משתמש:אחיה בר-און|אחיה ]]