> addvertex(T5,theory);

>