|
?
|
P | a: | |
a': |
P | |||
s = f() = | s' = f'() = | ⇒ P |
P | C = | G + H |
P
|
G + H |
×C
|
⇒
|
P | A = | G |
P
|
G |
×A
|
⇒
|
|
?
|
|
![]() |