> addvertex(T5,theory);

[Maple Math]

>