> addvertex(T37,theory);

[Maple Math]

> addedge([T36,T37],theory);

[Maple Math]

>