f
v.(
(f) > 0) 
False (v)+0 = 05.
((u) > 0 
fv.((f) > 0))6.
False
(u)+(v)+0 = 0 (fv.((f) > 0) fnil.((f) > 0) ( < v,nil > ) = 0)
f(u.v).((f) > 0) fnil.((f) > 0) ( < u.v,nil > ) = 0| 1 | 4. fv.((f) > 0) False (v)+0 = 0 5. ((u) > 0 fv.((f) > 0))6. False (u)+(v)+0 = 0 |
About:
 |  |  |  |  |
 |  |  |  |  |