כיוון אחד
1) אם <math>f</math> חח"ע אזי היא הפיכה מימין משמאל ע"י איזושהי פונקציה שנסמנה <math>h : B \rightarrow A</math>.
2) כעת, לכל פונקציה <math>\psi \in C^A</math> יש מקור <math>g=\psi \circ h \in C^B</math> לפי פונקציה <math>\Phi</math>, כי <math>\Phi(g)=g \circ f=\psi \circ h \circ f=\psi</math> ולכן <math>\Phi</math> על.