implemented "add theorem" on graph