Define as in (10.17.1). Then
10.49.1 | |||
ⓘ
|
10.49.2 | |||
ⓘ
|
10.49.3 | ||||
ⓘ
|
10.49.4 | |||
ⓘ
|
10.49.5 | ||||
ⓘ
|
10.49.6 | ||||
ⓘ
| ||||
10.49.7 | ||||
ⓘ
|
Again, with as in (10.49.1),
10.49.8 | |||
ⓘ
|
10.49.9 | ||||
ⓘ
|
10.49.10 | |||
ⓘ
|
10.49.11 | ||||
ⓘ
|
10.49.12 | |||
ⓘ
|
10.49.13 | ||||
ⓘ
|
10.49.14 | ||||
ⓘ
|
10.49.15 | ||||
ⓘ
|
10.49.16 | |||
ⓘ
|
Denote
10.49.17 | |||
. | |||
ⓘ
|
Then
10.49.18 | |||
ⓘ
|
10.49.19 | ||||
ⓘ
|
10.49.20 | |||
ⓘ
|
10.49.21 | ||||
ⓘ
|