Did you know that although Steinitz's theorem is commonly used to describe convex polyhedra using graph theory , its original formulation did not use graphs?