Result
Source
Subterm −
Basic-term t
Term End
Sum
Term Beginning
Subterm −
Basic-term t
0
0
Sum
| Result Source | Subterm − | Basic-term t | Term End | Sum |
| Term Beginning |
|
|
|
|
| Subterm − |
|
|
|
|
| Basic-term t | 0 | 0 |
|
|
| Sum |
|
|
|
|