Vertices(the_graph)+Vertices(the_graph)
L-the_graph- > *j s) L-the_graph- > *j s)
[inl(i) / s])
L-the_graph- > *j
l:T List, a,x:T. (x [a / l]) 
x = a 
(x l)
-1
| 1 | 8. inr(j) = inl(i) Vertices(the_graph)+Vertices(the_graph) L-the_graph- > *j | 1 step |
| 2 | 8. (inr(j) s) L-the_graph- > *j | 1 step |
About:
 |  |  |  |  |  |  |  |  |