A"
B"
B
A
B'
A'
_
A'=l'
o
l"
C"
C'
W'
W"
1"=2"
I'
II'
1'
2'
I
∈1
W
⇓
∈
1'W'
I"
1"W"
I" =II"
1
AB
A'B'
1"
A"B"
II
W2
2'W'
II"
2"W"
2
AC
A'C'
2"
A"C"