I∈k
I I
mI
1I
BI
k∈pł(AC) I∈k
II
I"
C
I
I'
I
∈k'
k
∈k"
1∈k
1'∈k'
1"∈k"
1∈AC
x1,2
1'∈A'C' 1"∈A"C"
BI
I ∈pł(AB) I ∈m
CI
m∈pł(AB) 1I
I ∈m
2I
I '∈m'
I "∈m"
2
II I
=I
∈m
k I=m I
2'∈m' 2"∈m"
AI
2∈AB
2'∈A'B' 2"∈A"B"
PI
3I
mI
I
BI
Q
I
I
2
CI
4
k I
1I
x
a
1,2
b
c
a
BI
5 3 2
1
5
4
CI
2 I
QI
α'
PI
k'=m'
1I
I
AI
3I=4
β'
5I
2^1
C^1
B^1
Ax
A^
C^
1^1
x
2^
2
A"
x
1
1
1"=2"
1
1
B"
x
1
B
C x
B^
C"1
C"
1^
α"
β"
A"
x
B"
1,2
1"=2"
B'
B'1
1
1'1
C'
C'1
2
A'
2'1
A'1
2^1
C^1
B^1
Ax
A^
C^
1^1
x
2^
2
A"
x
1
1
1"=2"
1
1
B"
x
1
B
C x
B^
C"1
C"
1^
α"
β"
A"
x
B"
1,2
1"=2"
B'
B'1
1
1'1
C'
C'1
2
A'
2'1
A'1
4I
8I
6I
BI
7I
2I
CI
5I
1I
x1,2
BI 6I
CI
2 I
5I
α'
1I
I
AI
7I=8
3I
β'
4I