Graph(i:
-- > i
n | n:) 
Graph(i,j:. 
c:. j = ic 
) Graph(i,j:. c:. j = ic ) Graph(i,j:. i | j)
DivGraph_2 DivGraph_1
. c:. j = ic)]
((BackThru
Thm* 
G,H,K:Graph. G H 
H K G K)
THENA
(Auto THEN Easy))
| 1 | Graph(i: -- > in | n:) Graph(i,j:. c:. j = ic ) | 5 steps |
| 2 | Graph(i,j:. c:. j = ic ) Graph(i,j:. i | j) | 1 step |
About:
 |  |  |  |  |