단사 함수임을 보일때

f(a)=ax
f(b)=bx

f(a)=f(b)

ax=bx

a=b 라는데
a=b라는 보장이 뭐임?

ax와 bx가 같은데

a!=b 일수도 있지 않나?