1 |
G o g x':A'![](FONT/dash.png) B'(x')![](FONT/dash.png) B(g(x'))
![](FONT/BLANK.png) | 2 steps |
2 |
11. G o g x':A'![](FONT/dash.png) B'(x')![](FONT/dash.png) B(g(x'))
F o g x':A'![](FONT/dash.png) B(g(x'))![](FONT/dash.png) B'(x')
![](FONT/BLANK.png) | 2 steps |
3 |
11. G o g x':A'![](FONT/dash.png) B'(x')![](FONT/dash.png) B(g(x'))
12. F o g x':A'![](FONT/dash.png) B(g(x'))![](FONT/dash.png) B'(x')
F:(x':A'![](FONT/dash.png) B'(x')![](FONT/dash.png) B(g(x'))), G:(x':A'![](FONT/dash.png) B(g(x'))![](FONT/dash.png) B'(x')).
InvFuns(A';A;g;f) & ( u:A'. InvFuns(B'(u);B(g(u));F(u);G(u)))
![](FONT/BLANK.png) | 7 steps |