page1
A
B
B'
A x (A x B)
A x B
B''
A x B''