【正确答案】首先我们有
   F'∈BL(Y'，X')，  G'∈BL(Z'，Y')，  G·F∈BL(X，Z)，  (G·F)'∈BL(z'，X')
   设z'∈Z'，y'=G'(z')。若x∈X，y=F(x)，则
   F'y'(x)=y'(Fx)=y'(y)=(G'z')(y)；
   因此
   (F'y')(x)=z'(Gy)=z'(G·Fx)=(G·F)'(z')(x)
   上式对任取的x∈X成立，故有
   F'y'=(G·F)'(z')，
   即F'·G'(z')=(G·F)'(z')，这对z'∈Z'均成立，从而有
   F'·G'=(G·F)'