左到右：反證法,若任意f任意g(f∈A^A∩g∈A^A∩f°h=g°h→f=g)成立但是h不滿,則存在a∈A不在h(A)（即h的像集）中,那么任意f任意g,f∈A^A∩g∈A^A∩f°h=g°h成立時可以同時有f(a)不等于g(a)成立,（即只限定了f和g在h(A)上的值,在A-h(A)上的值是不確定的）,與“→f=g”矛盾
右到左：若h滿,則對任意a∈A有h(a0)=a,則f(a)-g(a)=fh(a0)-gh(a0),如果fh(a0)-gh(a0)=0,則有f(a)-g(a)=0,所以對任意f任意g(f∈A^A∩g∈A^A∩f°h=g°h→f=g)成立
總結(jié)一下：左到右反證,找一個a推出矛盾即可；右到左,因為f,g是定義在A上的,所以證對每個a∈A以上命題成立即可
（我也不知道做的對不對.或許邏輯不是太嚴謹.）