::אתה צריך להראות שקיימת g כך ש<math>\psi=g \circ f</math>. לא נתונה לך g שאתה צריך להוכיח שהיא <math>g=\psi \circ h \in C^B</math>. אתה יכול לבחור איזו g שאתה רוצה. אתה רק צריך להסביר למה אותה g שבחרת היא מקור לפסי. אני בחרתי את g להיות הפונקציה <math>\psi \circ h</math> והראיתי שהיא אכן מקור לפסי. מכיוון שפסי הוא שרירותי זה אומר שהראיתי שלכל פסי שרירותי קיים מקור, ולכן פי היא על. כדי להראות שקיים מקור לאיבר אתה צריך לציין את המקור הפוטנציאלי ולהראות שהוא אכן מקור. המקור הוא לא מ שנתון לך. [[משתמש:Adam Chapman|Adam Chapman]] 19:42, 4 בספטמבר 2010 (IDT)
:::'''אבל איך אתה יכול לדעת שg יכולה להיות מורכבת מפונקציה פסי ומהפונקציה h? ובאותה צורה, איך זה שאתה בוחר "פסי שרירותי" אם אתה קובע שהפסי הזה הוא הרכבה של g ושל f? אשמח לתשובה מפורטת ומובנת הפעם, שלא אצטרך לשבור את הראש כדי לנסות להבין אותה! תודה רבה!'''
::::g יכולה להיות פסי הרכבה h משום שהמקור של פסי צריך להיות פונקציה מB לC ופסי הרכבה h הינה פונקציה מB לC. אני אכן בחרתי פסי שרירותי לא קבעתי שהוא הרכבה של g על f. אני בחרתי פסי שרירותי הראיתי שניתן למצוא לו מקור. מהו אותו מקור? אותו מקור הוא פסי הרכבה h. לכל פונקציה פסי מA לB, התמונה של פסי הרכבה h היא פסי ותמונה של פי מכילה את כל הפונקציות מB לC, דהיינו פי היא על.
שמע, ידידי, אין לי מושג איך לסייע לך מעבר לכך. כל מה שאני יכול לומר זה שאני ממליץ לך להוכיח כתרגיל שהפונקציה <math>f: \mathbb{Z} \rhigtarrow \mathbb{Z}</math> שמקיימת לכל <math>x \in \mathbb{Z}</math>, <math>f(x)=x+1</math> היא על, ואז תראה שמבחינה אלגוריתמית אין הבדל בין ההוכחה הזו להוכחה שרשמתי לך למעלה. בהצלחה במבחן! [[משתמש:Adam Chapman|Adam Chapman]] 12:42, 5 בספטמבר 2010 (IDT)
==הפרכה בעזרת דוגמה==