显然fog在存在域是一对一方程
对于任意的z属于fog的值域,
存在x使得fog(x)=z ,x=(fog)^(-1)(z).1)
f(g(x))=z 两边用f逆作用
f^(-1)(f(g(x)))=g(x)=f^(-1)(z)
g(x)=f^(-1)(z) 两边用g逆作用
g^(-1)(g(x))=g^(-1)(f^(-1)(z))
即x=g^(-1)(f^(-1)(z))=（g^(-1)o f^(-1)）(z).2)
比较一二由z的任意性可知
(fog)^(-1)=g^(-1)o f^(-1）