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 | ||||
|
ⓘ
| ||||