>
addvertex(T6,theory);
>
>
